Updated PseudoCtoHol4/Test.hs to build an .sml file to output, added a Holmakefile, updated Readme.txt to describe process.  Still shy of a fully automated process.