optimize: use lua_pushlstring instead of lua_pushstring

`lua_pushlstring` is more efficient than lua_pushstring in this case.