Use https URLs in debian/control