[why3doc] Fix (*) inside comments

There is a little bug when parsing (*) inside comments, and inside user doc, when generating documentation. It can be observed on the online documentation of the Why3 standard library, eg. for int.

Short example to test, now fixed by the submitted MR:

module Foo

  (* inside comment (*) *)

  (** inside doc (*) *)

end