add -mdr-title option

src/plugins/markdown-report/Report_markdown.mli

@@ -19,6 +19,9 @@ module FlameGraph: Parameter_sig.String
 (** Value of [-mdr-authors]. *)
 module Authors: Parameter_sig.String_list
 
+(** Value of [-mdr-title]. *)
+module Title: Parameter_sig.String
+
 (** Value of [-mdr-stubs]. *)
 module Stubs: Parameter_sig.String_list
 end

src/plugins/markdown-report/md_gen.ml

@@ -525,11 +525,14 @@ let gen_report is_draft =
   let context = gen_context env in
   let coverage = gen_coverage env in
   let alarms = gen_alarms env in
+  let title = Mdr_params.Title.get () in
   let title =
-    if is_draft then
-      plain "Frama-C Analysis Report"
-    else
-      plain "Draft report"
+    if title = "" then begin
+      if is_draft then
+        plain "Draft report"
+      else
+        plain "Frama-C Analysis Report"
+    end else plain title
   in
   let authors = List.map (fun x -> plain x) (Mdr_params.Authors.get ()) in
   let date = mk_date () in

src/plugins/markdown-report/mdr_params.ml

@@ -57,6 +57,14 @@ struct
   let help = "list of authors of the report"
 end)
 
+module Title = Empty_string(
+struct
+  let option_name = "-mdr-title"
+  let arg_name = "t"
+  let help = "title of the generated document"
+end
+)
+
 module Stubs = String_list(
   struct
     let option_name = "-mdr-stubs"

src/plugins/markdown-report/mdr_params.mli

@@ -18,5 +18,8 @@ module FlameGraph: Parameter_sig.String
 (** Value of [-mdr-authors]. *)
 module Authors: Parameter_sig.String_list
 
+(** Value of [-mdr-title]. *)
+module Title: Parameter_sig.String
+
 (** Value of [-mdr-stubs]. *)
 module Stubs: Parameter_sig.String_list