Get jenkins key from jenkins-ci.org

Instead of keeping the key locally, get it from the servers (as it may be changed without notice).