Reload GitHub Pull Request Diff page to ignore whitespace

Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.

Fra 27.05.2014. Se den seneste versjonen.