Pikachu automated grader (University of Texas-CS)