[Eva] Implement trace partitioning.

Makefile

headers/header_spec.txt

src/plugins/value/engine/basic_partitioning.ml

src/plugins/value/engine/legacy_partitioning.ml

src/plugins/value/engine/partition.ml

src/plugins/value/engine/partition.mli

src/plugins/value/engine/partitioned_dataflow.ml

src/plugins/value/engine/partitioning.ml

src/plugins/value/engine/partitioning.mli

src/plugins/value/engine/partitioning_parameters.ml

src/plugins/value/engine/partitioning_parameters.mli

src/plugins/value/engine/state_partitioning.mli

src/plugins/value/engine/trace_partitioning.ml

src/plugins/value/engine/trace_partitioning.mli

src/plugins/value/slevel/per_stmt_slevel.ml

src/plugins/value/utils/partitioning_annots.ml

src/plugins/value/utils/partitioning_annots.mli

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli

tests/misc/unroll_annots.c