Show both wall and CPU time in judging output.
Add subsection with misc. issues on judging consistency.

Issues (partly) based on http://mj.ucw.cz/papers/isolate.pdf
Also show user ID, consistent with other pages.
Update Ace editor to version 1.1.4 dated 2014-07-01.
Copied from:
https://github.com/ajaxorg/ace-builds/tree/master/src-min-noconflict
Update Flot/jQuery to version 0.8.3 and consistently use
non-minimized versions.
Update jscolor to version 1.4.2.
Update MIT licence text and JS libraries copyright info.