[wp] use ./.frama-c/wp for cache & scripts

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

Remove unused options in WP parameters

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

Resolve "Assigns qui impacte la preuve d'un require avec prédicat"

Closes #715

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

[AST Printing] Changes handling of ghost code

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

Feature/potassium 19.1

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

Feature/wp/region analysis

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

# Conflicts:
#	src/plugins/wp/Cint.ml
#	src/plugins/wp/MemTyped.ml
#	src/plugins/wp/why3_api.ml

Resolve "option -wp-msg-key builtins"

Closes #540

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

Include Dgraph-dependent files in tar.gz regardless of presence of Dgraph in current system configuration

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

[Eva] Dynamic registration of abstractions

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

we don't compile it in lablgtk3 mode, but that does not mean that it should
not be included in the release.

Allows compiling it regardless of Dgraph availability

Domains are built by increasing order of priority, so domains with higher
priority are added at the top of the domains tree, and thus are processed
first during the analysis.

This ensures that the cvalue domain (and other optimized domains) are always
called first in the engine.

Do not lift the abstract locations if it is not needed.

Domain_product works on Internal modules.
Location_lift and Domain_lift promote leaf modules into internal modules,
by creating the suitable structure.