Orchestration of Docker and virtual machines on CoreOS made easy