[Hptmap] Removes the function [shape].

src/kernel_services/abstract_interp/base.ml

src/kernel_services/abstract_interp/base.mli

src/kernel_services/abstract_interp/lmap.ml

src/kernel_services/abstract_interp/lmap_bitwise.ml

src/kernel_services/abstract_interp/locations.ml

src/kernel_services/ast_data/kernel_function.mli

src/kernel_services/ast_queries/cil_datatype.mli

src/libraries/utils/hptmap.ml

src/libraries/utils/hptmap_sig.mli

src/libraries/utils/hptset.ml

src/libraries/utils/hptset.mli

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

src/plugins/value/domains/equality/equality.ml

src/plugins/value/domains/gauges/gauges_domain.ml

src/plugins/value/domains/hcexprs.mli

src/plugins/value/domains/offsm_domain.ml

src/plugins/value/domains/simple_memory.ml

src/plugins/value/domains/symbolic_locs.ml

src/plugins/value/domains/traces_domain.ml

src/plugins/value/engine/mem_exec.ml