Package catalog as part of GUI build and load games from catalog - #1133

Package catalog as part of GUI build and load games from catalog#1133

tturocy wants to merge 3 commits into

mastergambitproject/gambit:masterfrom

dev_catalog_guigambitproject/gambit:dev_catalog_guiCopy head branch name to clipboard