[tests] Uses the macro EVA_OPTIONS instead of option -eva-show-progress.

tests/builtins/test_config

tests/builtins/test_config_apron

tests/builtins/test_config_bitwise

tests/builtins/test_config_equalities

tests/builtins/test_config_gauges

tests/builtins/test_config_symblocs

tests/constant_propagation/bts117.c

tests/constant_propagation/const_propagate.c

tests/constant_propagation/declaration.c

tests/constant_propagation/declaration2.c

.../constant_propagation/introduction_of_non_explicit_cast.c

tests/constant_propagation/test_config

tests/impact/test_config

tests/journal/control.i

tests/libc/coverage.c

tests/libc/test_config

tests/misc/bts0541.c

tests/misc/bts1347.i

tests/misc/issue109.i

tests/misc/log_twice.i