Merge branch 'feature/eva/help-message-category' into 'master'

doc/eva/main.tex

src/plugins/eva/domains/abstract_domain.ml

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

src/plugins/eva/domains/cvalue/builtins_malloc.ml

src/plugins/eva/domains/cvalue/builtins_memory.ml

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

src/plugins/eva/domains/cvalue/cvalue_init.ml

src/plugins/eva/domains/domain_builder.ml

src/plugins/eva/domains/domain_builder.mli

src/plugins/eva/domains/domain_product.ml

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

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

src/plugins/eva/domains/inout_domain.ml

src/plugins/eva/domains/multidim/multidim_domain.ml

src/plugins/eva/domains/octagons.ml

src/plugins/eva/domains/offsm_domain.ml

src/plugins/eva/domains/simple_memory.ml

src/plugins/eva/domains/symbolic_locs.ml

src/plugins/eva/domains/taint_domain.ml

src/plugins/eva/domains/traces_domain.ml