github:  add github push event handling

Add the ability to listen for github webhook events.  At the moment,
only push events are handled.  On this event, a short description of
each commit being pushed will be sent to interested channels.
Merge branch 'github_push'