Removed submission ids from page HTML output.
Merge remote-tracking branch 'github/mshavlov' into luca
Fixed a bug -- Michael check this.
Tiny change to feedback to multiply final grades by 100.
We display separately user reputation and accuracy.
Added a way to see which rankings a user did.
Better linked the information from the various comparison outputs.
Better cross-linking of functionality.
Reverted a supposed bug fix that was actually erroneous.
Fixed bug reported by Paulo.
Fixed big mistake in download.
Fixed a bug in adding a submission for a user.
Removed another bug in manager submission.
Fixed bad bug in download for reviewers.
Now annealing after normalization.
Merge remote-tracking branch 'origin/luca' into mshavlov