travis-doxygen.sh: only overwrite .git-credentials, iff not exists