These patches update and improve our ocaml package, and add packages for
camlp5, hevea, and coq.  They also add the Open Publication License 1.0
or later.

     Mark