Documentation: move command list in git.txt into separate files.