Docsearch: Optimize + avoid duplication in the index

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Docsearch: Don't always rewrite the index. Just the documents that have changed

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