added default Vagrantfile