How to install proofgeneral on Debian 9 (Stretch)