[wp] update changeling wrt to -wp-bool-range

src/plugins/wp/Changelog

@@ -20,6 +20,8 @@
 #   <Prover>: prover
 ###############################################################################
 
+ - Wp          [2019/04/26] Now requires -warn-invalid-bool
+ - Wp          [2019/04/26] Removed option -wp-bool-range
  - Wp          [2019/04/24] Support for Why3 1.* and Coq 8.{7-9}
  - Wp          [2019/02/26] Support for @check ACSL annotations
  - WP          [2018/02/16] Filter out some variables from separation