hackage4nix.hs: update badPackagePaths for the new Agda stdlib path
Remove the 'sed' patch to ghc-mod; it breaks the module for me (Emacs 24.x, Linux/x86_64).