Change in pysim[master]: contrib/jenkins.sh: split test/pylint/docs