Refactor At.mk_storing_loops with Quantif.mk_for_loops.

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/at_with_lscope.ml

src/plugins/e-acsl/env.ml

src/plugins/e-acsl/env.mli

src/plugins/e-acsl/loops.ml

src/plugins/e-acsl/loops.mli

src/plugins/e-acsl/lscope.ml

src/plugins/e-acsl/lscope.mli

src/plugins/e-acsl/quantif.ml

src/plugins/e-acsl/quantif.mli

src/plugins/e-acsl/tests/gmp/at_on-purely-logic-variables.c

...ests/gmp/oracle/at_on-purely-logic-variables.0.res.oracle

...ests/gmp/oracle/at_on-purely-logic-variables.1.res.oracle

...-acsl/tests/gmp/oracle/gen_at_on-purely-logic-variables.c

...acsl/tests/gmp/oracle/gen_at_on-purely-logic-variables2.c

src/plugins/e-acsl/translate.ml

src/plugins/e-acsl/translate.mli