Introduction Github code pilot and how to run code pilot locally