small bugfix
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.