[tests] remove useless STDOPT

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

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

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

...lugins/e-acsl/tests/arith/oracle/functions_rec.res.oracle

src/plugins/e-acsl/tests/arith/oracle/gen_cast.c

src/plugins/e-acsl/tests/arith/oracle/gen_functions_rec.c

src/plugins/e-acsl/tests/bts/bts1390.c

src/plugins/e-acsl/tests/bts/bts1399.c

src/plugins/e-acsl/tests/bts/bts2386.c

src/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts2386.1.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts2386.2.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts2386.res.oracle

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

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

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

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

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

src/plugins/e-acsl/tests/language_constructs/ghost.i

...ugins/e-acsl/tests/language_constructs/oracle/gen_ghost.c