[Eva] Adds requests to run and abort the analysis.

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

src/plugins/eva/api/general_requests.ml

src/plugins/eva/engine/analysis.ml

src/plugins/eva/engine/analysis.mli

src/plugins/eva/engine/compute_functions.ml

src/plugins/eva/engine/iterator.ml

src/plugins/eva/engine/iterator.mli

src/plugins/eva/self.ml

src/plugins/eva/self.mli

src/plugins/eva/utils/eva_utils.ml