A simple script to list the available debian porterbox machines.  If you happen
to be a debian devloper and you need access to a particular architecture, this
script might be helpful if you don't feel like reading the web page.