Adds missing vagrantfile