Docker sells its platform-as-a-service business to cloudControl to ensure that “dotCloud PaaS customers have a good home with an experienced PaaS provider.”