dev-lang/cryptol: rekeyworded after ghc-7.8 keywords

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>