Use HTTPS in debian/copyright (policy 4.0.0).