utils.diffStrings: Take an options object and make it configurable whether to highlight special characters.