public void gl_draw_done ()
After a SpiceDisplayChannel:
SpiceDisplayChannel:gl-draw is emitted, the client should draw the current display with the current GL
scanout, and must release the GL resource with a call to
display_gl_draw_done (failing to do so for each gl-draw may result in a frozen display).