Using Tcl_WaitForEvent instead of the busy-wait loop in _tkinter