Improve github hook.

Add support for the new hook format (where the whole document is of type
application/body).
Also, add support for the "secret" parameter, which makes it possible to
check the integrity/origin of a commit triggering the hook.