Added pyGithub, the python library to acces github

It is used by the report-pull-request-results script. Thans @davidlt for helping me.