[PATCH] gitk: properly deal with tag names containing / (slash)