Merge branch 'feature/ivette/eva-summary' into 'master'

Makefile

headers/header_spec.txt

...te/src/frama-c/api/generated/plugins/eva/general/index.ts

ivette/src/frama-c/kernel/Globals.tsx

ivette/src/frama-c/plugins/eva/.eslintrc.js

ivette/src/frama-c/plugins/eva/Coverage.tsx

ivette/src/frama-c/plugins/eva/CoverageMeter.tsx

ivette/src/frama-c/plugins/eva/Summary.tsx

ivette/src/frama-c/plugins/eva/index.tsx

ivette/src/frama-c/plugins/eva/summary.css

src/libraries/project/state_builder.mli

src/plugins/dive/tests/dive/oracle/exceptional.res.oracle

...lugins/e-acsl/tests/bts/oracle/issue-eacsl-145.res.oracle

src/plugins/server/kernel_ast.ml

src/plugins/server/kernel_ast.mli

src/plugins/server/states.ml

src/plugins/server/states.mli

src/plugins/value/api/general_requests.ml

src/plugins/value/api/values_request.ml

src/plugins/value/engine/analysis.ml