Add Vagrantfile and provisioning