[polyml] GUI Interface: drawing using Xlib primitives