Use VGLBitmapCopy() directly to show the mouse cursor. The mouse
cursor must be merged with the shadow buffer on the way to the screen,
and VGLBitmapCopy() now has an option to do exactly that. This is
insignificantly less efficient.