Add the Git pre-push hook to CONTRIBUTING.md