[e-acsl] remove empty oracles

...lugins/e-acsl/tests/arith/oracle_dev/arith.e-acsl.err.log

...lugins/e-acsl/tests/arith/oracle_dev/array.e-acsl.err.log

src/plugins/e-acsl/tests/arith/oracle_dev/at.e-acsl.err.log

...th/oracle_dev/at_on-purely-logic-variables.e-acsl.err.log

...gins/e-acsl/tests/arith/oracle_dev/bitwise.e-acsl.err.log

...plugins/e-acsl/tests/arith/oracle_dev/cast.e-acsl.err.log

...s/e-acsl/tests/arith/oracle_dev/comparison.e-acsl.err.log

...ests/arith/oracle_dev/extended_quantifiers.e-acsl.err.log

...ns/e-acsl/tests/arith/oracle_dev/functions.e-acsl.err.log

...-acsl/tests/arith/oracle_dev/functions_rec.e-acsl.err.log

...sl/tests/arith/oracle_dev/integer_constant.e-acsl.err.log

src/plugins/e-acsl/tests/arith/oracle_dev/let.e-acsl.err.log

...ins/e-acsl/tests/arith/oracle_dev/longlong.e-acsl.err.log

src/plugins/e-acsl/tests/arith/oracle_dev/not.e-acsl.err.log

...gins/e-acsl/tests/arith/oracle_dev/quantif.e-acsl.err.log

...ns/e-acsl/tests/arith/oracle_dev/rationals.e-acsl.err.log

...lugins/e-acsl/tests/bts/oracle_dev/bts1304.e-acsl.err.log

...lugins/e-acsl/tests/bts/oracle_dev/bts1307.e-acsl.err.log

...lugins/e-acsl/tests/bts/oracle_dev/bts1324.e-acsl.err.log

...lugins/e-acsl/tests/bts/oracle_dev/bts1326.e-acsl.err.log