Gedit plugin to highlight all occurrences