Added pyGithub, the python library to acces github

It is used by the report-pull-request-results script. I just noticed that I had accidentally pushed to the cms-sw repository for the pull request #332