Searching: Make typing much more smoother by using a worker dedicated to searching

Signed-off-by: Jerome Flesch <jflesch@gmail.com>