How to install php-phpdocumentor-type-resolver on Debian 9 (Stretch)