coreos vagrantfile