dev-lang/cryptol: new ebuild (a verifier for cryptalgos)

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