Set user agent string. Fixes GitHub not working issue (#14)

* GitHub started to block requests without an user agent.
   See http://developer.github.com/v3/#user-agent-required

* Set the user agent to curl/$curl_version_number

* Fixes the GitHub not working issue (#14)