Rename caisar configuration file for autodetection.

config/dune

 (install
  (section (site (caisar config)))
- (files caisar.conf)
+ (files caisar-detection-data.conf)
 (package caisar))

src/autodetection.ml

@@ -19,7 +19,7 @@ let rec lookup_file dirs filename =
 let autodetect ~debug () =
   let open Why3 in
   if debug then Debug.set_flag Autodetection.debug;
-  let caisar_conf = lookup_file Dirs.Sites.config "caisar.conf" in
+  let caisar_conf = lookup_file Dirs.Sites.config "caisar-detection-data.conf" in
   let data = Autodetection.Prover_autodetection_data.from_file caisar_conf in
   let config = Whyconf.init_config (Some null) in
   let binaries = Autodetection.request_binaries_version config data in