Speeding up lint by only considering files which are different.

H/T to @sk- and https://github.com/sk-/git-lint for the inspiration.

This is related to #290 but covers the last annoying slowdown we have. (At least as well as `pylint` allow.)