[dev-util/jenkins-bin] Moved to the tree.