Set up Vagrant file to run 4 CoreOS machines