Docsearch: disable cleanup for now: Too dangerous. If the workdir is not set correctly, it may purge a wrong directory (/home/jflesch for instance ...)

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