Add nixos.org EC2 infrastructure

For the moment, the releases and the source tarball mirror are in EBS
volumes.  We'll want to move them to S3 eventually, but that requires
updating various scripts...