Cryptol major mode for Emacs