Move deprecated stuff related to generate/get to the end of Prelude.sawcore
Move deprecated stuff related to generate/get to the end of Prelude.sawcore

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