The odoc comment parser

This is the parser for odoc-formatted comments and mld files.

For API documentation see Odoc_parser.