Merge branch 'feature/wp/new-cfg-control' into 'master'

headers/header_spec.txt

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/property.mli

src/libraries/utils/bag.mli

src/plugins/wp/Factory.mli

src/plugins/wp/Generator.ml

src/plugins/wp/Generator.mli

src/plugins/wp/Makefile.in

src/plugins/wp/StmtSemantics.ml

src/plugins/wp/VC.ml

src/plugins/wp/VC.mli

src/plugins/wp/calculus.ml

src/plugins/wp/cfgAnnot.ml

src/plugins/wp/cfgAnnot.mli

src/plugins/wp/cfgCalculus.ml

src/plugins/wp/cfgCalculus.mli

src/plugins/wp/cfgDump.ml

src/plugins/wp/cfgDump.mli

src/plugins/wp/cfgGenerator.ml

src/plugins/wp/cfgGenerator.mli