Come instalare papi-tools su Debian 9 (Stretch)