Add Cryptol

Cryptol is a Haskell DSL for crypto work.