Fix code documentation typo.
Download DOMjudge deb packages from Thijs' uvt.nl mirror and
make it easier to set an APT proxy (requires DOMjudge 4.0).
Add recommended max_file_uploads PHP setting.
Make grub changes work with Debian Jessie.
Add TODO notes for live image packaging of Debian Jessie/DOMjudge 4.0.