Report master-builds back to github

[TheJJ]

When github notifies kevin of a push to some branch (e.g. master), Kevin already performs the build. Missing is the notification back to github, so that the shiny green arrow will also pop up there.

Currently: only pull request results are reported back. Goal: also regular branch builds shall be sent to github.

Implementation is in kevin/service/github.py.