Tweak makefiles:
- make sure all,build are supersets of other targets
- remove 'dist' target from build dependencies
- print warning when submit client is disabled but make requested.
- config target only applies to etc directory
- generate compile/compare/run script zips with make dist
Remove obsolete Cygwin check.
Let maintainer-conf depend on dist to not have to execute that manually.
Detect C++ preprocessor to make sure that gmpxx.h header
is detected properly both by preprocessor and compiler.
Detect apache group from /etc/group entries instead of default www-data.
Fix HTML by replacing teamid=X attribute by 'id=team:X' and
change scorethisisme to class to remove id conflict.
Clean up dist generated files under sql/.
Add stub config.h for compare and float scripts, since it is not
available yet when running 'make dist'.
Change configure option help strings to default toggle.
Make compiling submit,checktestdata statically against libraries
a configure option and turned off by default.
Document --enable-static-linking configure option.
Document in comments that when the main program exits, all children
will be killed.
Use more standard 'geometry' package instead of 'a4wide'.
Package cgroup-bin is not necessary on Debian.
Add package install commands for RedHat-like distros.
WIP browser desktop notification support.
Send more complete updates on clarifications, judgings and
judgehost status in AJAX RPC call.
Use notification tag mechanism to let browser decide which
(new) notifications to show.
Indentation fixes, no code change.
Use HTML5 localStorage to track which notifications have already
been shown by the browser.