modify vagrantfile, add provisioning