Merge branch 'feature/eva/better-taint-domain' into 'master'

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

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

src/plugins/value/api/general_requests.ml

src/plugins/value/domains/taint_domain.ml

src/plugins/value/domains/taint_domain.mli

tests/value/oracle/taint.res.oracle

tests/value/oracle_apron/taint.res.oracle

tests/value/oracle_gauges/taint.res.oracle

tests/value/oracle_octagon/taint.res.oracle

tests/value/taint.c