New pull-request feature

New -pr command-line flag allows inspecting a GitHub pull-request by its URL, and producing a modver report as a comment in that PR. Requires supplying a GitHub auth token with the -token flag or in the GITHUB_TOKEN environment variable.