Clean up git-diff-tree 'header' generation