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

src/kernel_services/ast_building/cil_builder.ml

src/plugins/eva/Eva.mli

src/plugins/eva/dune

src/plugins/eva/parameters.ml

src/plugins/eva/parameters.mli

src/plugins/eva/utils/export.ml

src/plugins/eva/utils/export.mli

tests/misc/eva_annot.c

tests/misc/eva_annot_dead.c

tests/misc/eva_annot_float.c

tests/misc/eva_annot_range.c

tests/misc/oracle/eva_annot.res.oracle

tests/misc/oracle/eva_annot_dead.res.oracle

tests/misc/oracle/eva_annot_float.res.oracle

tests/misc/oracle/eva_annot_range.res.oracle