Red Hat übernimmt CoreOS