Add a builder for Agda packages.
Use agda builder for stdlib. mv to all-packages
Merge pull request #3915 from Fuuzetsu/agda-builder

RFC: Agda builder
nixos nat: add description to forwardPorts
haskell-MFlow: update to version 0.4.5.9
haskell-crypto-random: update to version 0.0.8
haskell-digestive-functors-heist: update to version 0.8.6.0
haskell-entropy: update to version 0.3.3
haskell-hplayground: update to version 0.1.0.4
haskell-monad-journal: update to version 0.2.3.2
haskell-network-uri: update to version 2.6.0.1
haskell-purescript: update to version 0.5.5
haskell-rest-gen: update to version 0.15
haskell-rest-happstack: update to version 0.2.10.2
haskell-retry: update to version 0.5.1
haskell-setlocale: update to version 1.0.0
haskell-x509: update to version 1.4.12
haskell-network: update to version 2.6.0.2
haskell-ghc-mod: update to version 5.0.1.2
haskell-tls: update to version 1.2.9 (and drop obsolete tls-extra)