Add autograder.