[Eva] Use post_analysis instead of finish_computation

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

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

src/plugins/value/register.ml

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

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

tests/value/traces/oracle/test2.err.oracle

tests/value/traces/oracle/test2.res.oracle

tests/value/traces/oracle/test3.err.oracle

tests/value/traces/oracle/test3.res.oracle

tests/value/traces/oracle/test4.err.oracle

tests/value/traces/oracle/test4.res.oracle

tests/value/traces/oracle/test5.err.oracle

tests/value/traces/oracle/test5.res.oracle