Scripts for grading student programs.  The student programs are pulled from remote git repositories. These scripts produce PDFs for grading, and return them to student repos after grading. Graded files are pushed back to remotes.