Updated the selection of virtual floppy images

This corresponds to the official 2013-11-17 emulator release just
published on compucolor.org