+do we need SDIR?
+clean up retest utility
+writing of verdicts to stdout (include timing and check on interactive tasks, including judge errors)
+box: memory usage statistics (need to search for VMPeak in /proc/$PID/status, but it disappears too early)