Debian 7.0 release box for Vagrant