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