opam-doc documentation integration: it works now! (css still needs more work)