updated the Cryptol prelude to actually work after the latest merge...
updated the Cryptol prelude to actually work after the latest merge...

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