Adding the default Vagrantfile