This adds a bugfix (float graded submissions) and a new feature
(assignment rescoring).