Set autodetect debug flag wrt global caisar verbosity.

src/main.ml

@@ -46,7 +46,10 @@ let config detect () =
   if detect
   then begin
     Logs.debug (fun m -> m "Automatic detection.");
-    let config = Autodetection.autodetect ~debug:false () in
+    let config =
+      let debug = match Logs.level () with Some Debug -> true | _ -> false in
+      Autodetection.autodetect ~debug ()
+    in
     let open Why3 in
     let provers = Whyconf.get_provers config in
     Logs.app (fun m ->