Microsoft to add Anthropic’s AI coding agent to its GitHub service