Add an ssh-to-github script

This script is used by the post-receive-push hook to push changes
to Github.  It was previously in the 'private' directory, but does
not need to be.
Make post-receive-push use the correct SSH command

Update post-receive-push to use our new ssh-to-github command
Run the post-receive-trac hook for each commit