hackage4nix.hs: ignore cryptol some more