Enabling HTTPS on a Jenkins server by configuring SSL