Merge branch 'feature/wp/ivette' into 'master'

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

ivette/src/dome/renderer/table/views.tsx

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

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

ivette/src/frama-c/kernel/api/properties/index.ts

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

ivette/src/frama-c/plugins/wp/api/index.ts

ivette/src/frama-c/plugins/wp/api/tac/index.ts

ivette/src/frama-c/plugins/wp/api/tip/index.ts

ivette/src/frama-c/plugins/wp/goals.tsx

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

ivette/src/frama-c/plugins/wp/seq.tsx

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

ivette/src/frama-c/plugins/wp/tip.tsx

ivette/src/frama-c/richtext.tsx

ivette/src/frama-c/states.ts

ivette/src/sandbox/icons.tsx

src/plugins/eva/api/values_request.ml

src/plugins/server/data.ml

src/plugins/server/data.mli