Microsoft has a very expensive and very public relationship with artificial intelligence startup OpenAI. But one of Microsoft’s most successful AI products, GitHub Copilot, is now going beyond OpenAI to give developers more choice in what models they want to use.