Change in pysim[master]: contrib/jenkins.sh: speed up pylint by running multiple processes