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.