Bump Waterproof

[pimotte]

The aim of this PR is to obtain an updated wasm build for inclusion in waterproof-vscode.

(If I'm missing something and this still needs to be on a branch, please let me know:))

[ejgallego]

Thanks @pimotte !

Note that we have a different setup for main vs stable Rocq branches. For Rocq's master we do pin waterproof as a submodule, for stable branches, we install an opam package. See the WP_VERSION in Makefile.

As of today, we update this variable in every branch, but we could add a little table to main if desired.

Should we also update the stable versions opam file?

[pimotte]

Yeah, that would be a good idea, but the release is not on opam yet, so I can follow up with that later:)

[ejgallego]

opam also supports pinning to a particular branch or commit, so if you wanna me to push a particular update please let me know, or you can just PR targeting the right Rocq branch.