[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.

[Libc] add non-standard header 'err.h'

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

[Cabs2cil] emit proper error message for unsupported attribute vector_size

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

[Eva] Fixes the gen-api script on macOS.

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

The final computation state [Computed] or [Aborted] is set by [compute_function],
before calling the function [post_analysis] of domains, as those may use
plugins that use Eva results.