Remove githooks/pre-push.

We now have server-side protection against force pushes to master, which
was the original motivation for this hook. The hook prevents the use of
`git push myfork -f --all` as a way to backup all branches.