vagrantfile and associated config for spinning up CoreOS clusters running Extempore