A text-based GUI builder for Python/Tkinter