Teach "git diff" to honour --[no-]ext-diff