fix to send User-Agent header

Today's github denies api requests without any user-agent headers