Introducing GitHub copilot, and how to install it