Consistently use difftime function.
Only try to update menu entries when they exist.
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.