python script using wxWidgets to encapsulate wmctrl (window manager control)