Merge branch 'doc/wp/changelog' into 'stable/calcium'

Update WP Changelog for renamed and removed options

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

src/plugins/wp/Changelog

@@ -28,7 +28,20 @@ Plugin WP 20.0 (Calcium)
 - Gui         [2019/09/17] Updated panel for provers, models, cache, etc.
 - WP          [2019/09/12] New cache mechanism for why3 provers, see -wp-cache option
 -! WP         [2019/09/17] Deprecated native alt-ergo & coq output, see -wp-prover option
--! WP         [2019/07/05] -wp-prover <p> now defaults to <why3:p> (including default alt-ergo)
+- WP          [2019/09/16] Deprecated & Renamed -wp-script into -wp-coq-script
+- WP          [2019/09/16] Deprecated & Renamed -wp-update-script into -wp-update-coq-script
+- WP          [2019/09/16] Deprecated & Renamed -wp-tactic into -wp-coq-tactic
+- WP          [2019/09/16] Deprecated & Renamed -wp-tryhints into -wp-coq-tryhints
+- WP          [2019/09/16] Deprecated & Renamed -wp-hints into -wp-coq-hints
+- WP          [2019/09/16] Renamed -wp-why-opt into -wp-why3-opt
+- WP          [2019/09/16] Renamed -wp-init-alias into -wp-alias-init
+- WP          [2019/09/16] Removed -wp-include
+- WP          [2019/09/16] Removed -wp-why3
+- WP          [2019/09/16] Removed -wp-why-lib
+- WP          [2019/09/16] Removed -wp-depth
+- WP          [2019/09/16] Default -wp-extensional changed to true
+- WP          [2019/09/16] Default -wp-init-const changed to true
+-! WP         [2019/07/05] Default -wp-prover <p> changed to <why3:p> (including default alt-ergo)
 -! WP         [2019/07/05] Use native Why3 API (now requires why3 at compile time)
 - WP          [2019/06/27] Improving Cint simplifier and quantifier introduction
 o Qed         [2019/06/27] More secure API for quantifier management