[Eva] Removes tables storing cvalue states from deprecated Db.Value.

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

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

src/plugins/eva/domains/cvalue/cvalue_results.ml

src/plugins/eva/domains/cvalue/cvalue_results.mli

src/plugins/eva/gui/gui_eval.ml

src/plugins/eva/legacy/eval_annots.ml

src/plugins/eva/utils/eva_results.ml

src/plugins/eva/utils/private.ml

src/plugins/eva/utils/private.mli

src/plugins/eva/utils/summary.ml