Merge branch 'feature/eva/perf' into 'master'

Changelog

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

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

ivette/src/frama-c/plugins/eva/style.css

src/plugins/eva/Eva.mli

src/plugins/eva/api/general_requests.ml

src/plugins/eva/dune

src/plugins/eva/gen_api/gen_api.ml

src/plugins/eva/utils/eva_perf.ml

src/plugins/eva/utils/eva_perf.mli

src/plugins/eva/utils/eva_utils.ml