HAL-1577: Change use of HTTP download locations to HTTPS
HAL-1577: Change use of HTTP download locations to HTTPS

hal/hal.next,hal/hal.next,hal/hal.next,michpetrov/hal.next,hpehl/hal.next,hal/hal.next,michpetrov/hal.next,hpehl/hal.next,hpehl/hal.next,hpehl/hal.next,michpetrov/hal.next,michpetrov/hal.next