utils/ghwebhook: update IP whitelist
utils/ghwebhook: write push info into the "touched" file
utils/ghwebhook: enable monitoring of multiple refs
utils/ghwebhook: GitHub WebHook listener beefed up

* IP whitelist updated
* Information about the push now written to the specified file
* Monitoring of multiple refs now possible, with a change in configuration
  format
* Example updated