Refactored some code: optimization of machine

src/backends/backends.ml

src/corelang.ml

src/corelang.mli

src/machine_code.ml

src/main_lustre_compiler.ml

src/optimize_machine.ml

src/options_management.ml