add some lua tools library