Adds a github push hook for auto-updating stuff on pushes.