Adds a grading leaderboard tab to Gradescope courses, showing per-grader evaluation counts and average scores.
