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>
Scanner: Takes into account that the source may not be selected on all scanners

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