Update Debian 7.0 definitions from RC1 to release.

* Updated ISO URLs.
* Fixed failing virtualbox.sh on i386.
Merge pull request #679 from mickm/update_debian_wheezy

Update Debian 7.0 definitions from RC1 to release.