Interpreter: remove dependency on SAWScriptPrelude sawcore file
Interpreter: remove dependency on SAWScriptPrelude sawcore file

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