Hybrid IaaS/Docker orchestration platform running on CoreOS