Improve PR page

When PRs contain too many files and only few files have reviewer comments, scrolling to these files can be tedious. This can be addressed two ways:

1. Provide keyboard shortcuts to jump to next/previous files with user comments
2. Provide a filter in to display only files with user comments. This could help improve the speed of page loading.