pr-versioning: implemented versioning for pull requests....
pr-versioning: implemented versioning for pull requests.
- users can navigate via each version or generate diffs between versions
- diff between versions will show changed commits and partial diffs
- redone the UI for versioning a bit
- small UI fixes