Merge branch 'feature/ivette/request_signal' into 'master'

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

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

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

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

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

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

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

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

ivette/src/frama-c/api/generator.ml

ivette/src/frama-c/server.ts

ivette/src/frama-c/states.ts

src/plugins/server/main.ml

src/plugins/server/main.mli

src/plugins/server/package.ml

src/plugins/server/package.mli

src/plugins/server/request.ml

src/plugins/server/request.mli

src/plugins/server/server_doc.ml