Added a subdirectory 'utop' which can be used, rather messily, to build
a utop top level
Some documentation for utop top level