MLI for normalization and machine_code.

src/backends/C/c_backend_common.ml

src/backends/C/c_backend_header.ml

src/backends/C/c_backend_mauve.ml

src/backends/EMF/EMF_backend.ml

src/backends/EMF/EMF_common.ml

src/backends/EMF/EMF_library_calls.ml

src/backends/Horn/horn_backend.ml

src/backends/Horn/horn_backend_collecting_sem.ml

src/backends/Horn/horn_backend_common.ml

src/backends/Horn/horn_backend_traces.ml

src/corelang.ml

src/corelang.mli

src/machine_code.ml

src/machine_code.mli

src/machine_code_types.ml

src/mpfr.ml

src/normalization.mli

src/pluginType.ml

src/plugins/salsa/machine_salsa_opt.ml

src/plugins/salsa/salsaDatatypes.ml