CoreOS-Vagrant configuration files for my development environment