Merge branch 'unstable' into lustrec-seal

.merlin

LICENSE-kind.md

Makefile.in

TODO.org

configure.ac

include/mpfr_lustre.c

include/mpfr_lustre.lusi

share/FindLustre.cmake.in

src/.merlin

src/backends/.merlin

src/backends/C/.merlin

src/backends/C/c_backend_common.ml

src/backends/C/c_backend_header.ml

src/backends/C/c_backend_main.ml

src/backends/C/c_backend_src.ml

src/backends/EMF/.merlin

src/backends/EMF/EMF_backend.ml

src/backends/EMF/EMF_common.ml

src/backends/EMF/EMF_library_calls.ml

src/backends/Horn/.merlin