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
Merge pull request #1 from clopez/fix-ua

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