Rewrite functionality of Parse_type into main.

Parse_type was partially taken from an old ocamldoc codebase which had a
conflicting license. Rewrite essentially from scratch, following the
structure of OCaml 4.03's driver/compile.ml `implementation` function.