We now set a user-agent in the HTTP requests
Fixes #37