Use the new search and replace API from GtkSourceView

One remaining thing: update the sensitivity of the menu items: find
next, find prev, and clear search highlight.
Fix sensitivity of search menu actions

For the find prev, find next and clear highlight menu actions. They
relied on the "search-text" buffer property. But now the "search-text"
property is in the SearchSettings. And the SearchSettings is accessible
via a SearchContext. And GeditDocument can have two different
SearchContext (from GeditViewFrame and from the search and replace).

So it is a little more difficult to implement.
Regex search, finally

Regex errors are not reported, but it's usable.
Search and replace: fix a bug with text escaping
Incremental regex search
ViewFrame: fix a bug with the search context
ViewFrame: smaller goto line