In this commit, we remove the pre-noweb version of fernandez-ocaml.