Merge branch 'feature/eva/octagons' into 'master'

Changelog

Makefile

doc/value/main.tex

headers/header_spec.txt

src/plugins/value/domains/octagons.ml

src/plugins/value/domains/octagons.mli

src/plugins/value/engine/abstractions.ml

src/plugins/value/engine/abstractions.mli

src/plugins/value/engine/mem_exec.ml

src/plugins/value/utests

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli

src/plugins/value/vtests

tests/builtins/diff_octagons

tests/builtins/test_config_octagons

tests/float/diff_octagons

tests/idct/diff_octagons

tests/test_config_octagons

tests/value/diff_apron

tests/value/diff_equalities