レッドハットがCentOSを2.5億ドルで買収するそうだ