util.highlightSubstring: Replaced "caseInsensitive" option

Since it is more sensible to have options default to "false", "caseInsensitive" option
is replace with "caseSensitive" option.