DocSearch: Make sure the index schema is up-to-date, regenerate the index from scratch otherwise

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