Pylint output should be sorted

Pylint doesn't sort its output by line numbers, which is mildly annoying.  This can be fixed.