Search and replace: use the new API from GtkSourceView

Before, the current match was highlighted with another color (orange).
Now the current match is selected.
Use GtkSearchEntry for the search and replace