[wp] Fix wp_nullable extension typing

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

Fix trivial terminates proof display + count

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

Revert "[Distrib] Fix event titles"

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

[eacsl] Update memory model when calling libc functions

Closes e-acsl#40 and e-acsl#157

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

Manually update E-ACSL memory model when calling certain libc functions.

Moreover, the generated code has been optimized to not translate the
term `size` twice.

- The global variable is now a Frama-C built-in and is not monitored;
- The `varinfo` for the variable, retrieved in module `Prepare_ast` is
  now exposed;
- The variable is added to every generated code so that it can be used
  by a later analysis of E-ACSL.

Clarify the use of `~before` and `~post`.

[Eva] Retroactively updates the Changelog for Eva.

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

[e-ascl] Preprocessing phase for quantifiers

Closes e-acsl#149

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

[Makefile] replace shell scripts with more efficient OCaml-based ones

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

No need to duplicate filenames in two variables.