[Eva] Fixes domains names according to the -eva-domains option.

src/plugins/value/domains/apron/apron_domain.ml

src/plugins/value/domains/cvalue/cvalue_domain.ml

src/plugins/value/domains/equality/equality_domain.ml

src/plugins/value/domains/gauges/gauges_domain.ml

src/plugins/value/domains/multidim_domain.ml

src/plugins/value/domains/octagons.ml

src/plugins/value/domains/offsm_domain.ml

src/plugins/value/domains/symbolic_locs.ml

src/plugins/value/domains/traces_domain.ml

tests/builtins/oracle/free.res.oracle

tests/builtins/oracle/imprecise.res.oracle

tests/builtins/oracle/linked_list.0.res.oracle

tests/builtins/oracle/linked_list.1.res.oracle

tests/builtins/oracle/linked_list.2.res.oracle

tests/builtins/oracle/malloc-optimistic.res.oracle

tests/builtins/oracle/malloc-size-zero.0.res.oracle

tests/builtins/oracle/malloc-size-zero.1.res.oracle

tests/builtins/oracle/memcpy.res.oracle

tests/builtins/oracle/memcpy2.res.oracle

tests/builtins/oracle/realloc.res.oracle