Add a manual-push-to-github script

Convenience script to push manually as athenasnap if something went
wrong.  Hopefully we never need this.
Do not run the post-receive-rt hook (Trac: #1388)
Add a post-receive hook for Trac

Add a post-receive hook which scans for Trac closers in the subject
or body of the commit, and updates the ticket appropriately.
Add a comment noting that future work is required