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