Add test source for parent forking off child processes and then
exit itself. Thanks Richard Lobb for pointing out this issue.
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.
Fix redirect after notification toggle.
Make refresh/notification button IDs unique.