Microsoft compra la plataforma de desarrollo GitHub por 7.500 millones