How to install opengl-4-html-doc on Debian 9 (Stretch)