Github user agent fix

The Github spout has been broken since last November : the Github API now requires a User-Agent header to be set.