Document and announce opam-ci-check

[shonfeder]

This is a really useful tool, and if we can spend a bit of time documenting how to use it and how to integrate it into CI, it could be quite handy.

• How to install and run it
  • Linting
  • Generating docker images
  • Running builds and lower-bounds tests
• How to use it an github actions