Merge branch 'feature/ivette/use-request' into 'master'

ivette/src/dome/renderer/dome.tsx

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

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

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

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

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

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

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

ivette/src/frama-c/plugins/callgraph/api/index.ts

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

ivette/src/frama-c/plugins/dive/api/index.ts

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

ivette/src/frama-c/plugins/eva/api/general/index.ts

ivette/src/frama-c/plugins/eva/api/values/index.ts

ivette/src/frama-c/plugins/pivot/api/general/index.ts

ivette/src/frama-c/plugins/studia/api/studia/index.ts

ivette/src/frama-c/plugins/wp/api/index.ts

ivette/src/frama-c/plugins/wp/api/tac/index.ts

ivette/src/frama-c/plugins/wp/api/tip/index.ts

ivette/src/frama-c/plugins/wp/seq.tsx