CoreOS to join Red Hat