Add player labels to normal form game HTML output (fix #574)#773

Ao-chuba wants to merge 2 commits intogambitproject:mastergambitproject/gambit:masterfrom

Ao-chuba:fix/issue-574-html-player-labelsAo-chuba/gambit:fix/issue-574-html-player-labelsCopy head branch name to clipboard