Send UserAgent to GitHub

This fix sends a user agent to github. It is a new requirement in their API.

Feel free to change the text for the agent that I submitted.