optimize: use lua_pushlstring instead of lua_pushstring

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