Remove (unmaintained) Smuggler tool from cabal file

agda2hs.cabal

@@ -22,20 +22,7 @@ source-repository head
   type:     git
   location: https://github.com/agda/agda2hs.git
 
-flag smuggler2
-  description: Rewrite sources to cleanup imports, and create explicit exports
-  default:     False
-  manual:      True
-
-common smuggler-options
-  if flag(smuggler2)
-    ghc-options: -fplugin=Smuggler2.Plugin
-                 -fplugin-opt=Smuggler2.Plugin:MinimiseImports
-                 -fplugin-opt=Smuggler2.Plugin:NoExportProcessing
-    build-depends: smuggler2 >= 0.3 && < 0.4
-
 executable agda2hs
-  import:              smuggler-options
   hs-source-dirs:      src
   main-is:             Main.hs
   other-modules:       Agda2Hs.AgdaUtils,