rename opam packages to rocq-*

There's a lot to do if we want to replace coq by rocq everywhere (and some of it will only be possible once we drop support for Coq 8.20 and older), but this is the one part that's a user-visible breaking change which needs some coordination across all the repos we have in CI: renaming our opam packages.