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