[kernel] Improves parsing time by optimizing several AST visitors

See merge request frama-c/frama-c!3557

[headers] 2022

See merge request frama-c/frama-c!3611

[eacsl] Extend Ensuresec example with a wrapper script to push E-ACSL alerts to a web API

See merge request frama-c/frama-c!3571

[cil] fix list of potential types for decimal integer litterals

See merge request frama-c/frama-c!3610

[WP] improves bitwise simplifier

See merge request frama-c/frama-c!3573

original definitions took advantage of the non-compliant behavior
wrt decimal integer litteral

an antediluvian comment hinted at some weird behavior of gcc and
MSVC at that time, but gcc is now fully ISO compliant in this respect
Waiting for complaints against the MSVC machdep to see whether special
case is warranted there.

[tests] fixes some problems for the dune branch

See merge request frama-c/frama-c!3591

Use same pattern as in metrics_acsl.ml.

[Libc] add all remaining POSIX headers

See merge request frama-c/frama-c!3606

Use Frama-C ocp-indent configuration for WP and Qed

See merge request frama-c/frama-c!3605

These tests have missing specs, so the large amount of warnings is expected.

There are still many missing specifications, but at least parsing should
succeed for strictly POSIX-compliant code.

[Eva] Do not rely on Db.Value for Analysis.self, is_computed and compute.

See merge request frama-c/frama-c!3593

[ivette] move generated API

See merge request frama-c/frama-c!3597

Moves file src/frama-c/api/generator.ml into src/frama-c/api_generator.ml.

Keep the APIs of Visitor and Cil.visit* in sync

Aorai does not get in the way anymore

Meddling with mutable fields is not the proper way to do it