Add cryptol-mode package.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Merge pull request #565 from thoughtpolice/cryptol-mode

Add cryptol-mode recipe.