Merge branch 'master' into feature/dome/more-ts

.gitlab-ci.yml

Changelog

Makefile

doc/code/.gitignore

doc/code/docgen.ml

doc/developer/advance.tex

headers/header_spec.txt

ivette/.eslintrc.js

ivette/api/kernel/ast/index.ts

ivette/api/plugins/dive/index.ts

ivette/api/plugins/eva/general/index.ts

ivette/api/plugins/eva/index.ts

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

ivette/api/server_tsc.ml

ivette/package.json

ivette/src/dome/src/main/dome.js

ivette/src/dome/src/misc/devtools.js

ivette/src/dome/src/renderer/data/json.ts

ivette/src/dome/src/renderer/table/arrays.ts

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