Vagrant file for three coreos boxes