Bug 993454

Make jenkins redirect http -> https