Html5 notifications

Optionally use HTML5-style "desktop notifications" instead of Javascript popups. Only works for Firefox and Chrome, as Safari has not yet implemented this part of the HTML5 spec.