Added support for defining repository/proxy in Jenkins job.