Documentation/git.txt: improve documentation of 'GIT_TRACE*' variables