diff: change semantics of "ignore whitespace" options