Ignore generated zip files.
Move executable SQL upgrade snippet below cache change stuff
and add changes to special_{run,compare} and compile_script columns.
Calculate timestamps of example contest data at insert time.

This ensures they are in the same idea of timezone that the host system has,
rather than the timezone in which the DOMjudge developers live. This is
necessary to make them correspond to the human-readable _string versions
in the same table.
Fix SQL upgrade snippet for executable scripts, now tested ;-)
Quelch zip verbose messages.
Make executable script zipfiles non-phony target and generate
in dist phase, install generated zipfiles.
Add to SQL upgrade snippet executable script data, remove zipfile content.
Remove trailing whitespace, no functional changes.
Fix HTML validation error.
Set SQLDIR using make dist/config, source zip file snippet from upgrade script.
SQL update data for executables.
Ignore 'make dist' generated files.
Anchor she-bang grep test to beginning of line to prevent
false-positive matches to zip-files containing shell scripts.
Add a Makefile target 'distdocs' that generates the documentation
at 'make dist' time (and does not depend on configure).

This simplifies the makefile dependency structure within the doc/
subdirectories a bit and makes it easier to prevent docs from being
built, by removing the 'dist: distdocs' dependency in the root Makefile.
Copy /etc/hosts to chroot next to resolv.conf for DNS resolution.
Uniformize style and order of displaying file size and md5.
Fix HTML validation errors.
Fix two HTML validation errors.
Use tab indentation, no functional change.
Uniformize Debian and Ubuntu make_chroot scripts.