Fix opam nightly CI

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

Retroactively updates the Changelog for Eva and Ivette

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

[Eva] Updates user manual with the new garbled mix origin Misaligned writes.

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

Acknowledgements of funding projects in the repo

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

Related MRs:
- 4503: Improve garbled mix origins and messages
- 4536: Reduction on ACSL valid_string and valid_read_string predicates
- 4552: Fixes a crash when running successive analyses with -eva-domains-function
- 4520: Reduces cvalue state by \base_addr(x) == \base_addr(y)
- 4581: Removes support for widening pragmas
- 4563: Rewrites memcpy and memmove builtins

[ivette/ci] manual tests

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

match minimal requirements of dolmen.0.9 which is the minimal version
for alt-ergo(-lib).2.5.3

Feature/andre/libc improvements

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

[analysis-scripts] improve and distribute estimate-difficulty executable

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

E-ACSL tests are not allowed to fail

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

If needed, this will be done later via machdeps and not preprocessor macros

This reverts commit 1e6f9135.

It also changes pthread_t to match the usual definition on a glibc + Linux.

This reverts commit 467f60b7.