How to install php-finder-facade-doc on Debian 9 (Stretch)