Bugfix 2938: update documentation for GitHub change hook

* misc syntax, wording and cosmetic changes
* move mention of standalone server to the beginning of the section
* fix link to the GitHub tutorial for adding webhooks
* make list of parameters of GitHub webhook and their correpsonding values explicit
I'd like them to standout: `:guilabel:` is an alternative.