Redmine#5342: add brief doc on overall structure of verify_packages.c