Add file filters in the URL

[NikhilVerma]

In a diff when we are filtering for file extensions or modification attributes they should be added to the URL. This will make it easy to load and share pre-filtered diffs. And it can also significantly improve the performance of diffs.