Example infrastructure for building a development environment with CoreOS and Docker