Cleanup .gitignore
Display team names instead of teamid.
Do not special case a dropdown with only one item.

Disabling it breaks some forms because a disabled select list does
not send its value to the server. There may be workarounds but it's
probably not worth it given that usually there are not many lists
with only one item.
Don't remove chroot mountpoints after unmounting.

The 'rmdir' gave spurious warning messages "Device or resource busy"
while fuser/lsof incidated no open files. This only occurred when
running multiple judgedaemons on one machine, see also:
https://www.a-eskwadraat.nl/archive/domjudge-devel/2013-July/001284.html
Print list of processes still running ad work around ambiguity
in shell echo expansion of backslash escape sequences.
Bugfix: properly close unused resources (found by Coverity scan).