added scUnloadModule and scModifyModule; removed scEnsureModule
added scUnloadModule and scModifyModule; removed scEnsureModule

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script