Use jenkins.py to schedule builds, not build_jenkins.py script