Update compiler requirements

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

       because always true now

       Add migration script

[WP] Fix typing errors during export with driver which use builtins

The expected sort of a term and its sort can be different because Qed allows implicit conversions. Why3 doesn't. So we have coercions when the expected type and the sort of the qed term is different. The problem with some builtins is that they have a bool and prop versions which complicates things, because there sort can be changed to the expected one.

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

Bump to ocaml 4.05

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

[kernel] More controlable way to specify -cpp-command

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

Valentin Perrelle authored 5 years ago and Virgile Prevosto committed 5 years ago

- extra args are not negligently put after the first argument, but
  in place of '%args'
- arguments can also be designated by %i or %input instead of %1 and
  %o or %output instead of %2

fix post-!2318

Change extended annotations and all identified_* from tuples to records

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

[Makefile] robustify Makefile

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

[Wp] Fixes a segmentation fault on lablgtk3: do not create a gtk button too early.

Closes #677

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

Frama-C 19.0 Potassium installation for Windows OS via WSL

Closes #669

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

Exclude hidden files to avoid mysterious "missing separator" errors if there
are any .ml files starting with '.#' (e. g. lock files created by Emacs).

[Doc/Rte] remove mentions to -rte-no-all and fix table

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

Bugfix/in precedence

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