Add cryptol-mode package.