Merge branch 'feature/ivette/eva-values-extended' into 'master'

ivette/Makefile

ivette/api/generated/kernel/ast/index.ts

ivette/api/generated/kernel/properties/index.ts

ivette/api/generated/plugins/eva/values/index.ts

ivette/api/server_tsc.ml

ivette/src/dome/src/renderer/controls/gallery.json

ivette/src/dome/src/renderer/controls/labels.tsx

ivette/src/dome/src/renderer/frame/style.css

ivette/src/dome/src/renderer/style.css

ivette/src/dome/src/renderer/text/editors.tsx

ivette/src/frama-c/eva/Values.tsx

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

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

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

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

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

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

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

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

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