[tests] only print the output coming from the input file (but no more the libc)

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/main.ml

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_call.c

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

...ugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c

...l/tests/e-acsl-runtime/oracle/gen_compound_initializers.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c

...-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_ghost.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_init.c

...e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c

...lugins/e-acsl/tests/e-acsl-runtime/oracle/gen_invariant.c

...ins/e-acsl/tests/e-acsl-runtime/oracle/gen_labeled_stmt.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy.c