Vagrantfile and provisioning