adding CoreOS vagrant boxes, and restructuring the OSes section for config