A Cryptol major mode for Emacs