added docs for Rocq Prover

I was able to successfully compile lamda-rust with Rocq 9.0.0, so I added it to the README.md.

Thanks for the PR! However, we won't make a promise in the readme that we are not sure we can keep. The readme reflects the versions we are testing in CI, and CI still tests 8.20.

So please also change .gitlab-ci.yml to test version 9.0 rather than 8.20. We only test one version, so 8.20 should then be removed from the readme.

added 3 commits

• 01de8d2a - bump to 9.0.0 while keeping 8.20.0
• 7b264b92 - fixed gitlab-cli
• 93644858 - Merge branch 'master' of gitlab.mpi-sws.org:HumamAlhusaini/lambda-rust

Compare with previous version

added 2 commits

• 1f1bf567 - fixed gitlab-cli.yml
• 7521ced9 - Merge branch 'master' of gitlab.mpi-sws.org:HumamAlhusaini/lambda-rust

Compare with previous version

added 1 commit

• f7e74ec4 - added coq 9.0.0 to README and .gitlab-ci

Compare with previous version

@jung Fixed, probably

added 1 commit

• 9293ea33 - fixed .gitlab-cli and README for rocq 9.0.0

Compare with previous version

@jung apologies, I believe it is now fixed

resolved all threads

mentioned in commit 0f4ebd6d

merged

Looks good, thanks :)