Update odoc_extract_mli.ml