Vagrantfile and provisioning scripts