add Vagrantfile.