Make github webhook easier to extend with new events for auto registr…

…ation.

The idea is to make it easier to extend github webhook with events
that are tied to more than one repository, namely "installation" and
"installation_repositories", which are necessary for repo auto
registration.

As part of this change, processing of events is moved inside routines
specific to that event.

This is work in progress.