a dynamic window manager for X11
