IBM, Red Hat'ı satın alıyor