Rename the p423 autograder folder