The script utils/lint_check.sh should be used before push commits
to the repository. This change enables pylint to be executed by
the script.