Europa dá luz verde à compra da Red Hat pela IBM, a maior de sempre da tecnológica