Added a grading guide for assignments.
Merge remote-tracking branch 'github/production'
Merge remote-tracking branch 'github/mshavlov'
Better distinction between comments and feedback, and submission feedback improved.
Improved a bit the interface.
Create README.md
Corrected confusing comments.
Added maintenance script.
Merge remote-tracking branch 'origin/master' into production
Fixed bug: representation does not work for None
Removed the reviewing duties table; still to test.
editing reviews done but not tested
Merge remote-tracking branch 'origin/luca' into mshavlov