Update to assets and resources in GUI and installers - #1088

Update to assets and resources in GUI and installers#1088

tturocy merged 5 commits into

mastergambitproject/gambit:masterfrom

issue_1087gambitproject/gambit:issue_1087Copy head branch name to clipboard