Add automatic reset for php autograder.