debian/copyright: add info about debian/repack.stub.