WIP: Clarify the graphical interface workspace, and saving/dirty flags#932

tturocy wants to merge 15 commits into

mastergambitproject/gambit:masterfrom

dev_workspacegambitproject/gambit:dev_workspaceCopy head branch name to clipboard