Merge branch 'feature/ivette/sync-array' into 'master'

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

ivette/src/frama-c/kernel/ASTview.tsx

ivette/src/frama-c/kernel/Globals.tsx

ivette/src/frama-c/kernel/Messages.tsx

ivette/src/frama-c/kernel/Properties.tsx

ivette/src/frama-c/kernel/SourceCode.tsx

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

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

ivette/src/frama-c/states.ts