travis-doxygen.sh: avoid leaking the GitHub token in build log

A `git push` to the GitHub URL includes the `${GH_TOKEN}` in its output.
Avoid leaking this credential by storing in the git config separately.