[Eva] Replaces options -eva-[domain]-storage by new option -eva-no-results-domain.

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

src/plugins/value/domains/domain_builder.ml

src/plugins/value/domains/domain_builder.mli

src/plugins/value/domains/domain_store.ml

src/plugins/value/domains/domain_store.mli

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

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

src/plugins/value/domains/inout_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/simple_memory.ml

src/plugins/value/domains/symbolic_locs.ml

src/plugins/value/domains/taint_domain.ml

src/plugins/value/domains/traces_domain.ml

src/plugins/value/domains/unit_domain.ml

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli