Add user_agent during Github construction

As of today User Agent headers are mandatory for all Github API requests.