Microsoft’s GitHub Copilot AI is making rapid progress. Here’s how its human leader thinks about it