Add debian 7.2 amd64 (with VirtualBox Guest Additions 4.3.0)
Merge pull request #209 from txchen/master

Add debian 7.2 amd64 (with VirtualBox Guest Additions 4.3.0)