set-double-buffered in gl-config%

Adjusts the configuration to request double buffering or not.

• (send a-gl-config set-double-buffered on?) -> void
     on? : boolean