Expose help message of the help screen

[Michael Grünewald]

The two following functions help and help_message could be useful to build alternative help screens.

val help : spec -> unit
(** Output the help summary associated to the analysis specification. *)

val help_message : spec -> string
(** Return the help summary associated to the analysis specification. *)