attempt to make Holmakefiles not require lem to be installed
add generated print_astScript.sml to repo