Merged fix-noweb after moving ZVG_tree to clutter.
Merging fix-noweb after writing noweb for everything.
Fixed things so that the thesis now compiles within the ocaml
directory structure.
Minor change in a function definition in the thesis.
Merge branch 'master' into fix-noweb

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.