Use https URL in Debian 10 and use http URL for old Ubuntu versions

fixup of 0619932c (keep using insecure
http repository for debian 8, 9 and 10)
8 jobs for master
in 0 seconds, using 0 compute credits, and was queued for 0 seconds