pr #1718: Fetch docker gpg over https