tweaked to generate a VirtualBox VM.
iso_url and iso_checksum set for 2013.09.01 release.