git.txt: add missing info about --git-dir command-line option