Update on network example and model checker code

Makefile

modeling/Network_Avatar.xml

modeling/testavatar.xml

src/avatartranslator/AvatarSpecification.java

src/avatartranslator/AvatarStartState.java

src/avatartranslator/AvatarState.java

src/avatartranslator/AvatarStateElement.java

src/avatartranslator/AvatarStateMachine.java

src/avatartranslator/AvatarStopState.java

src/avatartranslator/AvatarTransition.java

src/avatartranslator/modelchecker/AvatarModelChecker.java

src/avatartranslator/modelchecker/SpecificationState.java

src/ui/MainGUI.java

src/ui/window/JDialogAvatarModelChecker.java