GitHub → Phabricator gateway

When a push event comes from GitHub, we determine if there is a
matching Phabricator instance, and if so, we notify Phabricator
to prioritize a pull for this repository.

This allow a real time Differential and Diffusion handling, and
avoid to add a commit hook to each repository.