Issue #400: add github pushes integration hook

Action needed on the beta server after this push:
- add secret key in config.ini
- create a file web/github_log.txt with the user www-data:www-data