add Vagrantfile and provision script