Merge branch 'feature/ruetcros/wp/remove_memRegion' into 'master'

ivette/src/frama-c/kernel/api/parameters/index.ts

src/plugins/wp/Changelog

src/plugins/wp/Factory.ml

src/plugins/wp/Factory.mli

src/plugins/wp/Layout.ml

src/plugins/wp/Layout.mli

src/plugins/wp/MemRegion.ml

src/plugins/wp/MemRegion.mli

src/plugins/wp/Region.ml

src/plugins/wp/Region.mli

src/plugins/wp/RegionAccess.ml

src/plugins/wp/RegionAccess.mli

src/plugins/wp/RegionAnalysis.ml

src/plugins/wp/RegionAnalysis.mli

src/plugins/wp/RegionAnnot.ml

src/plugins/wp/RegionAnnot.mli

src/plugins/wp/RegionDump.ml

src/plugins/wp/RegionDump.mli

src/plugins/wp/gui/GuiPanel.ml

src/plugins/wp/tests/ptests_config