Favicon manipulation

Libraries for dynamically updating the favicon, e.g. to show badges or notifications.