Merge branch 'feature/patrick/multiple-header-spec-files-part2' into 'master'

src/plugins/e-acsl/E_ACSL.mli

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/builtins.ml

src/plugins/e-acsl/builtins.mli

src/plugins/e-acsl/configure.ac

src/plugins/e-acsl/contrib/libdlmalloc/dlmalloc.c

src/plugins/e-acsl/contrib/libgmp/mini-gmp.c

src/plugins/e-acsl/contrib/libgmp/mini-gmp.h

src/plugins/e-acsl/dup_functions.ml

src/plugins/e-acsl/dup_functions.mli

src/plugins/e-acsl/env.ml

src/plugins/e-acsl/env.mli

src/plugins/e-acsl/error.ml

src/plugins/e-acsl/error.mli

src/plugins/e-acsl/exit_points.ml

src/plugins/e-acsl/exit_points.mli

src/plugins/e-acsl/functions.ml

src/plugins/e-acsl/functions.mli

src/plugins/e-acsl/gmpz.ml

src/plugins/e-acsl/gmpz.mli