Use https for jenkins.