mli additions complete

src/checks/init_calculus.mli

src/compiler_common.mli

src/compiler_stages.mli

src/dune

src/error.mli

src/expand.mli

src/global.mli

src/init_predef.mli

src/lustre_utils.mli

src/main_lustre_compiler.ml

src/main_lustre_compiler.mli

src/main_lustre_testgen.ml

src/main_lustre_testgen.mli

src/main_lustre_verifier.ml

src/main_lustre_verifier.mli

src/mmap.mli

src/mutation.ml

src/mutation.mli

src/options_management.ml

src/options_management.mli