Instructors can push updates to student repos

[jon-bell]

We need a way for instructors to push updates to student repos. The repositories table should be updated to track which handout SHA the repo is currently merged with, and then the system should automate creating and merging PRs to apply updates when instructors need to.