* contrib/jenkins.sh: make pylint warn about unnecessary semicolon * Python is not C: get rid of unnecessary semicolons