Send User-Agent header to github (fixes FTBFS due to 403 HTTP error)