Make GitHub Pull Requests better with a file tree view and other UX improvements

- A file tree-view is added next to each Pull Request, just like in your IDE

- Quick links to files and comments

- Highlight the current viewed file while scrolling

This is an open-source community project and is in no way affiliated or endorsed by GitHub.