Bump to ubuntu 12.04.2 for the ISO version.
Make ./dev pull-requests show display the unique ID.
Add option for mounting the chroot as a tmpfs filesystem.