Generic Vagrantfile with provisioning script