tool.lua - a lua tool library with useful functions based on: "luadch/core/util.lua" written by blastbeat and pulsar license: unless otherwise stated: GNU General Public License, Version 3 usage: local tool = require( "tool" ) e.g.: tool.TableIndexChange( tbl, old_index, new_index )