[githubCruncher] Extract github userAgent to ops friendly configuration

Github requires a user agent being set, in the api documentation. Although this didn't seem to be enforced when running early versions of the code, it is entirely sensible and ethical to do that anyway. Currently it's embedded in the code. 

Better extract it to configuration, if only so that others will not reuse it with the code, or to be ops friendly.
