Tcl/Tk-based development menu (environment?) for TeX