git-diff.txt: add section "output format" describing the diff formats