Merge branch 'feature/eva/register-abstractions' into 'master'

Makefile

headers/header_spec.txt

src/plugins/value/domains/abstract_domain.mli

src/plugins/value/domains/apron/apron_domain.ml

src/plugins/value/domains/apron/apron_domain.mli

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

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

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

src/plugins/value/domains/cvalue/locals_scoping.mli

src/plugins/value/domains/domain_builder.ml

src/plugins/value/domains/domain_builder.mli

src/plugins/value/domains/domain_lift.ml

src/plugins/value/domains/domain_lift.mli

src/plugins/value/domains/domain_product.ml

src/plugins/value/domains/domain_product.mli

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

src/plugins/value/domains/equality/equality_domain.mli

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

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

src/plugins/value/domains/inout_domain.ml