scripts to make grading students' lab submissions easier