[Eva] Trace Domain

Makefile

headers/header_spec.txt

src/libraries/project/state_builder.mli

src/plugins/value/domains/traces/traces_domain.ml

src/plugins/value/domains/traces/traces_domain.mli

src/plugins/value/engine/abstractions.ml

src/plugins/value/engine/abstractions.mli

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli

tests/value/traces/oracle/test1.err.oracle

tests/value/traces/oracle/test1.res.oracle

tests/value/traces/test1.i