[wp] fix headers & lint

src/plugins/wp/ProverDetect.None.ml

-# 1 "src/plugins/wp/ProverDetect.None.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*  This file is part of WP plug-in of Frama-C.                           *)
@@ -21,6 +20,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+# 23 "src/plugins/wp/ProverDetect.None.ml"
+
 (* -------------------------------------------------------------------------- *)
 (* --- Prover Detection (no why3)                                         --- *)
 (* -------------------------------------------------------------------------- *)

src/plugins/wp/ProverDetect.Why3.ml

-# 1 "src/plugins/wp/ProverDetect.Why3.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*  This file is part of WP plug-in of Frama-C.                           *)
@@ -21,6 +20,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+# 23 "src/plugins/wp/ProverDetect.Why3.ml"
+
 (* -------------------------------------------------------------------------- *)
 (* --- Why3 Prover Detection                                              --- *)
 (* -------------------------------------------------------------------------- *)
@@ -53,7 +54,7 @@ let detect () =
            dp_version = dp.prover_version ;
            dp_altern = dp.prover_altern ;
            dp_shortcuts = List.rev keys ;
-       } :: dps
+         } :: dps
       ) !index []
   in List.rev dps