hackage4nix.hs: improve badPackagePaths to match Agda stdlib
hackage4nix.hs: improve badPackagePaths to match Agda stdlib

bennofs/cabal2nix,psibi/cabal2nix,spencerjanssen/cabal2nix,gridaphobe/cabal2nix,Fuuzetsu/cabal2nix,jb55/cabal2nix,dmalikov/cabal2nix