External update agent for the Jenkins CI tool