DomainTransitionAnalysisTab: Add save/restore tab functions.
DomainTransitionAnalysisTab: Add save/restore tab functions.

For #97 and #98.

TresysTechnology/setools,TresysTechnology/setools,TresysTechnology/setools,TresysTechnology/setools