git diff -D: omit the preimage of deletes