Adding the Vagrantfile