Update github.js

Tweak user agent string in preparation for GitHub API fix