Support github pull requests

If you run `webdiff https://github.com/path/to/pull/123`, it will pull down the files in the PR and diff them.