Fix formatting of Documentation/git-clone.txt