[ivette] refactor source code selection

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

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

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

src/plugins/server/kernel_ast.ml