Removes function [iter_on_strings] from Locations.Location_Bytes.
Do not fail on comparison of wide strings: just returns false, thus leading to
an alarm in all cases.

[typing] always push current pack status on pragma pack push directives

Closes #897

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

Even if we don't know what to do with the argument of the push, this at least
ensures that push/pop directives stay well parenthesized.

[Dev] add ppx_deriving_yojson to reference configuration; sort and update list

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

status of loop assigns in presence of multiple emitter

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

similar semantics as the parameter of same name in
`add_assigns` and `add_allocates` in contracts

i.e. they will present at most one AAssigns and AAllocates per set of behaviors.

Fix/andre/more changelog fixes

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

[wp] Coq region is a function

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

[wp/doc] Fixes Why3 version for Scandium

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

[parsing] more efficient concatenation of consecutive strings

Closes #880

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

[wp] Avoid name clash in frame lemmas generation

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

[Kernel] fix usage of is_relative in JCDB paths

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

[dive] New plugin dive to generate imprecision graphs for Eva

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

[Eva] Updates alternative test oracles.

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

Into -dive-from-variables and -dive-from-alarms respectively.