add Vagrantfile