Add cryptol-mode recipe.