Set User-Agent for github version checks