Add destructor for Lua state