Merge branch 'feature/bobot/eva_trace' into 'master'

.gitignore

Makefile

headers/header_spec.txt

ptests/ptests.ml

src/kernel_services/abstract_interp/bottom.ml

src/kernel_services/abstract_interp/bottom.mli

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/file.mli

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/libraries/project/state_builder.mli

src/libraries/stdlib/extlib.ml

src/libraries/stdlib/extlib.mli

src/libraries/utils/hptmap.ml

src/libraries/utils/hptmap.mli

src/libraries/utils/hptmap_sig.mli

src/plugins/from/functionwise.ml

src/plugins/inout/operational_inputs.ml

src/plugins/value/domains/abstract_domain.mli