Coding with an AI pair programmer: Getting started with GitHub Copilot