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
Merge branch 'master' into ICPC-live

Conflicts:
	www/jury/submission.php