Como instalar xul-ext-certificatepatrol no Debian 9 (Stretch)