git jar should allow alternate GitHub token names

I thought this was currently supported but I can't find a way to have the name that GitHub uses for a token differ from the local cookie name. This should be possible so that users can keep different tokens on different machines with different names on GitHub but the same name locally to match the expected token name by GitHub-manipulating programs.
