Merge branch 'feature/ivette/eva-plugins-revamped' into 'master'

ivette/Makefile.distrib

ivette/headers/header_spec.txt

ivette/src/dome/renderer/dome.tsx

ivette/src/dome/renderer/frame/toolbars.tsx

ivette/src/frama-c/plugins/eva/api/values/index.ts

ivette/src/frama-c/plugins/eva/cells.ts

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

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

ivette/src/frama-c/plugins/eva/layout.ts

ivette/src/frama-c/plugins/eva/model.ts

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

ivette/src/frama-c/plugins/eva/probes.ts

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

ivette/src/frama-c/plugins/eva/stacks.ts

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

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

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

ivette/src/frama-c/states.ts

src/plugins/value/api/values_request.ml