V8.15.0 tag set

Developing the Rocq Prover
1

The tag has been set. Opam packages, docker tags and platform versions will now be prepared.