Fix typo.
WIP browser desktop notification support.
Send more complete updates on clarifications, judgings and
judgehost status in AJAX RPC call.
Use notification tag mechanism to let browser decide which
(new) notifications to show.
Indentation fixes, no code change.
Use HTML5 localStorage to track which notifications have already
been shown by the browser.
Pass options via 'options' variable, not with varargs.
Also check for notifications directly at page load.