Only add UNIQUE KEYs after updating the data
Synchronise SQL comments in structure and upgrade files.
Add comment on adding unique keys later, remove another,
initialise contest shortname with longer string to improve
chance of uniqueness, and set deactivatetime to something
clearly non-user set.
Fix some HTML validation issues.
Also display judgings list if there is only one invalid judging
and display "Not (re)judged yet" message whenever there is no
active/selected judging.
Reduce text in clock div, closes #142.

- move server time to footer
- homogenize (and shorten) selected contest display
- move user display to bottom of clock div
Fix broken query on team submission details page.
Add missing variable to user query.
PHP's curl extension is required for Baylor im/export.
Remove checktestdata from DOMjudge main repository.

It has been moved to http://github.com/DOMjudge/checktestdata.

Grammar spec remains in Jury manual for now, needs to be moved.
Remove unnecesarry LEFT JOIN on contest.
Remove checkinput/fixinput.

For real input checking, refer to checktestdata.
Remove runssh_{judgehost,team}s

These tools only have very limited scope and are very environment
specific. The functionality is easily reimplemented by using tools
like `dsh` or `ansible`.
Log message formatting improvements.
Fix HTML validation issue.
Also show problem (long)name on testcase-page
Move w3schools help link to header as not to repeat it for every row.

Also fixes an HTML syntax issue.
Only invoke jscolor if browser does not support HTML5 color element.

HTML5 color element and jscolor will conflict otherwise.
Prevet notices when there's no active contest.
Remove $cdatas global from submit solution.

The cid is passed in, so we don't need to depend on ugly globals to
get the info we need.