Make Jenkins use https