Add the Vagrantfile