I have added the Vagrantfile.