adding support for GithubRspecGrader to the larger autograder system