Github issues now advises githubot 0.4.0 in order to add a user-agent

v3 of the API refuses connections unless you have a user agent, version 0.4.0 supports this, 0.2.0 doesn't.