Made PolymakeInterface saveable in workspaces.