Add PUC-Rio copyright here as well for ease of distribution; now we don't need lua_LICENSE and might remove it in the future.
Co-authored-by: Rodactor <rodactor@roblox.com>