Odoc usage documentation (sans dune)? [with notes on what I learned in my little foray]

[dbuenzli]

I vaguely remember some things were wrong with that shell script, but I can’t exactly remember what. The documentation I perused for writing the odig odoc driver consisted in pestering @trefis for the fine details.