Fix for issue-1001: added code to update group coverage when graders are randomly assigned to criteria
Merge pull request #1291 from xiangyu89/issue-1001-fixed

Fix for issue-1001: added code to update group coverage when graders are randomly assigned to criteria