Merge branch 'feature/eva/better-callstacks' into 'master'

src/dune

src/kernel_services/abstract_interp/eva_types.ml

src/kernel_services/abstract_interp/eva_types.mli

src/kernel_services/abstract_interp/value_types.ml

src/kernel_services/abstract_interp/value_types.mli

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/plugins/dive/build.ml

src/plugins/dive/callstack.ml

src/plugins/dive/dive_graph.ml

src/plugins/eva/Eva.mli

src/plugins/eva/api/values_request.ml

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

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

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

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

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

src/plugins/eva/domains/domain_builder.ml

src/plugins/eva/domains/domain_product.ml

src/plugins/eva/domains/domain_store.ml