anonymous grading
Presently we display the student name/number when grading.
This could introduce bias into the grading procedure, and it could be useful to hide this information
Depends on #166 (closed), so that it is obvious when different submissions belong to the same person.