Teach git diff-tree --stdin to diff trees