Documentation/git-tools: drop references to defunct tools