Add Cryptol
Merge pull request #4046 from ndr-qef/cryptol

Add Cryptol