new option -e-acsl-instrument

src/plugins/e-acsl/dup_functions.ml

src/plugins/e-acsl/exit_points.ml

src/plugins/e-acsl/functions.ml

src/plugins/e-acsl/functions.mli

src/plugins/e-acsl/misc.ml

src/plugins/e-acsl/mmodel_analysis.ml

src/plugins/e-acsl/options.ml

src/plugins/e-acsl/options.mli

src/plugins/e-acsl/share/e-acsl/e_acsl.h

src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h

src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1395.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts2192.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c