Add option to highlight all words matching the current selection

(not ready to merge!)
The selection could change without its start or end position changing... ScintillaNet has this logic for a SelectionChanged event somewhere I think. Probably doesn't matter too much / only in rare cases, but doesn't really hurt either.