GitHub Diff Whitespace Ignore Button

Adds an 'Ignore whitespace' button on any GitHub file diff page. Inserts an "Ignore Whitespace" button on file diff pages on GitHub