add option to lint diff buffers#3185

blobmasterbrian wants to merge 4 commits intodense-analysis:masterdense-analysis/ale:masterfrom

blobmasterbrian:add-diff-lint-optionblobmasterbrian/ale:add-diff-lint-optionCopy head branch name to clipboard