major branche merging salsa/mpfr with trunk

Makefile.in

configure.ac

setup.ml

src/Makefile.in

src/_tags

src/backends/C/c_backend.ml

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_makefile.ml

src/backends/C/c_backend_src.ml

src/backends/Horn/horn_backend.ml

src/basic_library.ml

src/causality.ml

src/clock_calculus.ml

src/compiler_common.ml

src/corelang.ml

src/corelang.mli

src/dimension.ml

src/env.ml