-Changed way camlp4o is executed so that it no longer depends on /bin/sh
-Some further work on generating modules for each record type