Rocq 9.1.0 released

[Gaetan_Gilbert]

Rocq 9.1.0 has been released and packages for opam and nix are available.

See the changelog Recent changes — The Rocq Prover 9.1.0 documentation for more information.