plugins option added to tool pylint.