Merge branch 'feature/wp/api' into 'master'

ivette/src/frama-c/kernel/api/ast/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/dive/api/index.ts

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/wp/api/index.ts

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

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

src/libraries/utils/task.ml

src/libraries/utils/task.mli

src/plugins/server/data.ml

src/plugins/server/data.mli

src/plugins/server/package.ml

src/plugins/server/request.ml

src/plugins/wp/ProofEngine.ml

src/plugins/wp/ProofEngine.mli

src/plugins/wp/Tactical.ml

src/plugins/wp/Tactical.mli

src/plugins/wp/gui/GuiGoal.ml