Pylint CI improvements

old body:

Use it in CI instead of a snake-long command-line.

pylintrc-ci is the same as pylintrc with the exception of the disable field.