Docsearch: When the index is modified, always reload the searcher object

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