[wp] export human-readlabel json stats

src/plugins/wp/Stats.ml

@@ -187,6 +187,7 @@ let pretty fmt s =
 
 let to_json_p (p,r) : Json.t = `Assoc [
     "prover", `String (VCS.name_of_prover p) ;
+    "hprover", `String (VCS.title_of_prover p) ;
     "time", `Float r.time ;
     "htime", `String (Pretty_utils.to_string Rformat.pp_time r.time) ;
     "success", `Int r.success ;

src/plugins/wp/Why3Provers.ml

@@ -93,7 +93,7 @@ let print_wp s =
   let prv = String.split_on_char ',' name in
   String.concat ":" prv
 
-let title p = Format.asprintf "%a" Why3.Whyconf.print_prover p
+let title p = Pretty_utils.to_string Why3.Whyconf.print_prover p
 let name p = p.Why3.Whyconf.prover_name
 let compare = Why3.Whyconf.Prover.compare
 let is_mainstream p = p.Why3.Whyconf.prover_altern = ""