Updated GitHub diffs

Just rolled out some updates to diffs: better addition/deletion highlighting, new add comment link and placement, and highlightable lines in diffs (previously only available when browsing files). Click the line numbers to highlight that line and click the + to leave a comment.