Adds a debian Vagrantfile.