Add user agent (now required by Github API)