Basic Vagrant and CoreOS config files