Minor change in Makefile structure.
Fixed things to build the thesis inside the Makefile system of the
ocaml directory.
Minor change, getting rid of a redundant Makefile.