[Eva] Slightly better evaluation of ACSL quantifiers

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

[Server] adds a final eol to json output

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

[wp] new tests in gallery

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

[libc] ensure bool, true and false are not macros when in C++ mode

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

[makefile] fixes ocamlfind warning about missing -thread

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

[kernel] Removed deprecated ACSL extension registration API

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

[Eva] Changes the type and registration of builtins

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

[wp] testing new cfg

Closes pub/frama-c#49 and #259

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

Supports nullable pointers in context

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

[eacsl] Fix use of E-ACSL with `-no-frama-c-stdlib`

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

Resolve "[wp] partial inits"

Closes #1029

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

If the Frama-C libc is used, then include `__fc_alloc_axiomatic.h`,
otherwise redeclare the axiomatics from this file.

In the redeclared axiomatics, use `SIZE_MAX` instead of `__FC_SIZE_MAX`
in E-ACSL specification since the Frama-C libc will not be available to
define this constant.