util.highlightSubstring: Replaced "caseInsensitive" option

Since it is more sensible to have options default to "false", "caseInsensitive" option
is replace with "caseSensitive" option.
Could save a `!` by turning into `options.caseSensitive ? '' : 'i'`. ;-)