Debian 7.3.0 support

 * updated iso url and checksum
 * Use new {virtualbox,vmware}-iso builder names (packer 0.5.0 change)