Tcl library for redis access