AVATAR: Improvement on avatar-to-uppaal code generator

src/avatartranslator/AvatarActionOnSignal.java

src/avatartranslator/AvatarExpireTimer.java

src/avatartranslator/AvatarRandom.java

src/avatartranslator/AvatarResetTimer.java

src/avatartranslator/AvatarSetTimer.java

src/avatartranslator/AvatarStartState.java

src/avatartranslator/AvatarState.java

src/avatartranslator/AvatarStateMachine.java

src/avatartranslator/AvatarStateMachineElement.java

src/avatartranslator/AvatarStopState.java

src/avatartranslator/AvatarTimerOperator.java

src/avatartranslator/AvatarTransition.java

src/avatartranslator/touppaal/AVATAR2UPPAAL.java