My personal minimal Vagrantfile for CoreOS