[typing] Do not inline inner block if previous statement is a code annotation applying to its whole next statement

Closes #836

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

New option for pointer downcast alarms

Closes #777

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

New smart constructor for TCastE in logic_const.

[Instantiate] Fix different failures

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

Run 0 tests the default configuration of Frama-C: no downcast alarms, except
for pointers.
Runs 1 to 3 correspond to the previous run with successive -then, and test:
- emission of signed downcast alarms (option -warn-signed-downcast)
- emission of unsigned downcast alarms (option -warn-unsigned-downcast)
- the relaxed semantics of the Eva option -eva-warn-signed-converted-downcast
Run 4 disables all downcast alarms, including downcast of pointer values.

[wp] cache updates

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

Fixes float missing bindings

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

[wp] Bind Cfloat simple symbols on Why3 IEEE float

Closes #656, #346, #798, and #785

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

[wp] builtin types are now registered in LogicBuiltins

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

[eacsl] Fix deactivation of variadic plugin

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

or any code annotation that is specifying what the whole next
statement is doing

[eacsl:tests] Update test results following the merge of !2574 on master

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

[Kernel] add option -cpp-extra-args-per-file

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