Merge branch 'ivette_add_set_files' into 'master'

ivette/src/dome/renderer/dialogs.tsx

ivette/src/frama-c/api/generated/kernel/ast/index.ts

ivette/src/frama-c/index.tsx

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

ivette/src/frama-c/menu.ts

ivette/src/frama-c/states.ts

src/plugins/server/kernel_ast.ml