This patch adds double buffering to the windows terminal to avoid flicker (e.g. while rotating splots).
Optionally, the internal bitmap used for this can be 2x2 times as big as the screen. When scaling
down during copy-to-screen this translates to a poor man's version of antialiasing.
Please test and let me know if there are negative side effects.