DevOps interface & controller for managing a Docker/Coreos PaaS