Merge branch 'feature/nupw/updates-argon' into 'master'

headers/header_spec.txt

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/property.mli

src/libraries/utils/json.mli

src/libraries/utils/json.mll

src/plugins/wp/Cfloat.ml

src/plugins/wp/Changelog

src/plugins/wp/Cint.ml

src/plugins/wp/GuiComposer.ml

src/plugins/wp/GuiGoal.ml

src/plugins/wp/GuiSequent.ml

src/plugins/wp/GuiSequent.mli

src/plugins/wp/MemTyped.ml

src/plugins/wp/Plang.ml

src/plugins/wp/Plang.mli

src/plugins/wp/ProofEngine.ml

src/plugins/wp/ProofScript.ml

src/plugins/wp/ProofSession.ml

src/plugins/wp/ProofSession.mli

src/plugins/wp/ProverCoq.ml