[Eva] Add a domain for multidimensional memory

Makefile

headers/header_spec.txt

src/kernel_services/abstract_interp/memory_map.ml

src/kernel_services/abstract_interp/memory_map.mli

src/kernel_services/abstract_interp/multidim.ml

src/kernel_services/abstract_interp/multidim.mli

src/plugins/value/domains/multidim_domain.ml

src/plugins/value/domains/multidim_domain.mli

src/plugins/value/engine/abstractions.ml

src/plugins/value/engine/abstractions.mli

src/plugins/value/value_parameters.ml