Set the Cryptol search path from SAW
Set the Cryptol search path from SAW

For the moment, this seems to find things relatively reliably in the
binary distributions we create. In the future, we may adopt a more
flexible approach.

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