Improve judgehost load display:
- add 2 minute load and order in increasing length, like 'top'
- use fixed time for now()
- include judgings that overlap partly with start of interval
Display language/problem name instead of ID.
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.