haskell-nixpkgs.nix: drop agda, the build just takes too long