[Eva] New option -eva-domains

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

[Eva] Simplify abstract domains: remove the Transfer functor

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

[Eva] Fixes the evaluation of logical predicates on empty sets

Closes #742

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

Starting with the most useful domains.
The order of registration is also the order in which domains are listed in the
help message of the -eva-domains option.

[Libc] fix spec of memchr; avoid size_t in non_escaping

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

[Floating_point] Uses exponent p0 when printing ±0. as hexadecimal.

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

[wp] minor next to fix lsl and lsr simplifiers

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

Rework error messages on illegal array length

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

[e-acsl] Fixes the compilation of a test file with ocaml 4.10.

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

This commit could be reverted when ocaml 4.06 becomes mandatory.

For abstract domains, the valuation is now a record of three functions:
[find], [fold] and [find_loc].

Adds a function in the evaluation engine to convert Valuation maps into
these records.

Instead of p-1022, which was misleading on single precision float.

[wp] fix lsl and lsr simplifiers

Closes #751

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

[wp/tests] adds find_ptr example

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