Github API now requires User-Agent header

This is an update from github's interface and is not yet tested.