Adding a Vagrantfile