rename dumb to bad
stuff
another test
report earliest submission instead of latest when scores tie to reduce bandwidth
fixes lockup
disable soft tabs
add interactive judge

Conflicts:
	src/config.sample
	src/run.sh
small modifications to interactive judge
remove /dev/{null,{u,}random} for non-Turing
tabs

Conflicts:
	src/run.sh
tabs
indent
consistent condition for interactive grading
fix config loading
config sample was stupid
fix config
add fractions
fix indentation
gplv3
update for python3.3 and httpd 2.4