debian/copyright: use HTTPS for Copyright-Format URL.