[tests] rename gmp to arith and runtime to memory

src/plugins/e-acsl/.gitignore

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/tests/arith/README.md

src/plugins/e-acsl/tests/arith/arith.i

src/plugins/e-acsl/tests/arith/array.i

src/plugins/e-acsl/tests/arith/at.i

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

src/plugins/e-acsl/tests/arith/cast.i

src/plugins/e-acsl/tests/arith/comparison.i

src/plugins/e-acsl/tests/arith/functions.c

src/plugins/e-acsl/tests/arith/functions_contiki.c

src/plugins/e-acsl/tests/arith/functions_rec.c

src/plugins/e-acsl/tests/arith/integer_constant.i

src/plugins/e-acsl/tests/arith/let.c

src/plugins/e-acsl/tests/arith/longlong.i

src/plugins/e-acsl/tests/arith/not.i

src/plugins/e-acsl/tests/arith/oracle/arith.0.res.oracle

src/plugins/e-acsl/tests/arith/oracle/arith.1.res.oracle

src/plugins/e-acsl/tests/arith/oracle/arith.res.oracle

src/plugins/e-acsl/tests/arith/oracle/array.0.res.oracle