How to install php-cli-prompt on Debian 9 (Stretch)