Use HTTPS for a couple of URLs in debian/*.