Tcl print variable to file