Update for commit pollution repair.  First state analysis models.
Cleanup for forks
State editor and diagram models
State analysis GUI from Emfatic
Merge branch 'master' of https://github.com/nasa/CertWare.git