Make "Find as you type" an option
This is a follow-up to 7397c8ac, so related to #83 (closed), !58 (merged).
The search context is still updated in the background when the search entry or the search settings change, but there is no selection of the search result, no scrolling to cursor.
Edited by Gaël Bonithon