Documentation fixes
Largely these problems were found by running `odoc_driver`.
The changes to the opam files are to let docs-ci know that other
packages need to be available to build the docs correctly. Dune
will soon be able to insert these itself, but not yet.