Adapt to addition of ModulePath type to cryptol library.
Adapt to addition of ModulePath type to cryptol library.

(cryptol revision 8fe9f5efa9dc6f81e03d80ce23d08ab1b17da6b0)

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