Add a builder for Agda packages.
Use agda builder for stdlib. mv to all-packages
Add JohnTheRipper, a fast password cracker
docker: add xz to PATH, make importing from archives work
nixos/utils: Don't remove first character if not a /
Merge pull request #3962 from wkennington/master.iffix

nixos/utils: Don't remove first character if not a /
nixos nat: add type for sourcePort and destination of forwardPorts
Fix QScintilla source
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
sudo: add sendmailPath option (defaults to /var/setuid-wrappers/sendmail)

It currently seems impossible to make sudo send emails. No matter how much
debugging I enable, sudo continues to be silent about sendmail. I tried setting
"Defaults mailerpath=/var/setuid-wrappers/sendmail" but that too was completely
ignored (except for logging that the variable mailerpath exists with the value
I assigned to it...).

This enables sendmail support and sets a default value that works on NixOS.
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