Merge branch 'feature/eva/domains-option' into 'master'

doc/value/examples/parametrizing/makefile

doc/value/examples/parametrizing/out-of-bound.log

doc/value/main.tex

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

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

src/plugins/value/domains/numerors/numerors_domain.ml

src/plugins/value/domains/numerors/numerors_domain.mli

src/plugins/value/engine/abstractions.ml

src/plugins/value/engine/abstractions.mli

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli

tests/builtins/test_config_apron

tests/builtins/test_config_bitwise

tests/builtins/test_config_equalities

tests/builtins/test_config_gauges

tests/builtins/test_config_octagons

tests/builtins/test_config_symblocs

tests/test_config_apron

tests/test_config_bitwise

tests/test_config_equalities