How to install lava-server-doc on Debian 9 (Stretch)