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
Add curl-unix-socket, Run HTTP requests over UNIX socket
Fix ACL2