Grok 4.7 arrives in GitHub Copilot for agentic coding | 16 × AI