A new survey finds that GitHub Copilot is the top choice among AI coding tools for engineers. It is used more than Gemini Code Assist and Amazon Q, and many engineers say it helps them work faster.