I also think we should look at how packer would help us with images.Are these boxes on http://www.vagrantbox.es/ ?There is a variety of Debian images there. I do agree we should look at official offerings and make them accessible.
gpg key id: 4096R/326D8438 (keyring.debian.org)
Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438