copilothow was GitHub Copilot built - Search