Automatic deployment of API documentation
Ideally we would like to have two different things:
- Automatic deployment of the API documentation in the project gitlab page (with https://docs.gitlab.com/ee/user/project/pages/)
- Being able to access the documentation of cduce when installed through opam with odig