removed the no-longer needed saw generate_scaffolding.saw step from the CI
removed the no-longer needed saw generate_scaffolding.saw step from the CI

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