tests/jenkins.py: fix URL; minor copyedits