CI: update to Coq 8.14

Coq 8.14 has been released. We need to update the CI setup to include it into the test suite.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information