* main_codequery.ml: simpler interface when using bddbddb, use tmp dir
and copy back in root