CoreOS Vagrantfile