set proper user-agent. better error messaging when github replies with 404