corrections on loggers + spec in AST

src/backends/Ada/ada_backend.ml

src/backends/EMF/EMF_backend.ml

src/causality.ml

src/checks/liveness.ml

src/clock_calculus.ml

src/compiler_common.ml

src/compiler_stages.ml

src/dune

src/log.ml

src/machine_code.ml

src/machine_code_common.ml

src/machine_code_types.ml

src/main_lustre_compiler.ml

src/optimize_machine.ml

src/printers.ml

src/scheduling.ml

src/sortProg.ml

src/typing.ml

src/utils/utils.ml