Revert "test Coq beta branch (since master is broken)"

This reverts commit 1226aa9c.
https://github.com/coq/coq/issues/13732 is supposed to be fixed; let's see.