Implement "double-buffering" in the FreeBSD VGL driver. This
makes screen updates much more smoother without much tearing,
pretty comparable to the X11/SDL performance.