[wp] Bump dependencies

nix/alt-ergo.nix

nix/ocplib-simplex.nix

nix/pkgs.nix

nix/sources.json

opam

reference-configuration.md

src/plugins/wp/Why3Provers.ml

src/plugins/wp/doc/manual/wp_plugin.tex

src/plugins/wp/tests/qualif.report

src/plugins/wp/tests/why3/test_config_qualif

src/plugins/wp/tests/wp_acsl/chunk_typing_usable.i

src/plugins/wp/tests/wp_acsl/classify_float.c

src/plugins/wp/tests/wp_acsl/div_mod.i

src/plugins/wp/tests/wp_acsl/float_compare.i

src/plugins/wp/tests/wp_acsl/tset.i

src/plugins/wp/tests/wp_gallery/binary-multiplication.c

src/plugins/wp/tests/wp_plugin/abs.i

src/plugins/wp/tests/wp_plugin/bit_test.c

...in/bitmask0x8000.0.session_qualif/script/lemma_res_n.json

...in/bitmask0x8000.0.session_qualif/script/lemma_res_y.json