set-stencil-size in gl-config%

Adjusts the configuration to request a particular stencil-buffer size, where zero means no stencil buffer is requested.

• (send a-gl-config set-stencil-size on?) -> void
     on? : exact integer in [0, 256]