Judging: bugfixes and refactoring
Merge branch 'judging' of https://github.com/CCI-MIT/XCoLab into judging