Merge branch 'feature/dome/typescript-states' into 'master'

ivette/.dome-pkg-app.lock

ivette/.gitignore

ivette/package.json

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

ivette/src/dome/src/misc/plugins.js

ivette/src/dome/src/misc/system.js

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

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

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

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

ivette/src/dome/src/renderer/dome.js

ivette/src/dome/src/renderer/frame/sidebars.js

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

ivette/src/dome/src/renderer/text/buffers.js

ivette/src/dome/template/makefile.packages

ivette/src/frama-c/LabViews.tsx

ivette/src/renderer/Controller.tsx