[wp] ensure compilation with why3.1.7.0

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

[doc] update INSTALL.md

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

[wp] fix logic definitions typing

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

[wp] fix missing or wrong strategy patterns

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

- bad correspondance in binops
- missing matching between ints

[e-acsl] move test to dev config to avoid issue in macOS

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

Multiple fixes in release CI

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

[fc-scripts] document make-machdep command

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

[Eva] User manual: comments paragraph about the new syntax of ACSL extensions.

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

Force dune-site version to 3.7.0

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

fix compilation and tests in FreeBSD

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

- tests which run gcc (not available on opam's CI for FreeBSD);
- a test which relies on the precision of the floating-point math library;
  FreeBSD's library produces some differences in least significant digits.

FreeBSD's make does not seem to treat the '$<' special variable as GNU Make
does. This StackOverflow question indicates a possible cause:

https://stackoverflow.com/questions/12904011/bmake-proper-use-of-automatic-variables

Note that the explanation ("other versions of make do not support automatic
variables in explicit rules") does not seem entirely correct, since '$@' is
expanded as in GNU make.

Update acknowledgement for Roma Maliach-Auguste

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

- and explode when the archive is empty