Get token from different section of githubconfig

so that public GitHub token and GitHub Enterprise tokens can peacefully
co-exist.

Public GitHub token can be in `[github]`.
GitHub Enterprise token can be in `[github:github.mycompany.com]`.