The PaaS of CoreOS, Docker and Kubernetse