Update pkgToDox.lua, add global property section.