webhooks for repo push or pull request events

Once server side git hooks (ticket #155) are implemented, it would  make it possible to implement webhooks on various events.

We could use the git server hook _post-receive_ to implement any webhooks defined in the UI for a repo.