Add Debian 7.1.0 configuration to Vagrantfile