Rework detection initial info message.

solver.ml

@@ -217,7 +217,7 @@ let detect_default_solvers () =
 let detect filename =
   let open Result in
   Logs.info (fun m ->
-      m "Detecting solvers in $PATH, and writing configuration file `%s'."
+      m "Detecting solvers and writing configuration file `%s'."
         filename);
   (* Create new configuration file and retrieve the `config' from the existing
      one, if any. *)