updated jenkins core to 1.424.6 - added repository configuration to
repo.jenkins-ci.org (needed for CI on buildhive and release)