Updated highlight-icemode with the possibility to toggle case-sensitivity

Based on highlight-icemode

This is basically a copy of the original extension with the added possibility to toggle if highlighting should be case-sensitive or not (original was always case-insensitive):

"highlight-icemode.caseSensitive": true