user-agent for github request
use github auth, changes the api limits from 60 to 5000