Adding test for deadlock modelchecker

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

src/main/java/cli/Action.java

ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java

ttool/src/test/resources/cli/input/scriptmodelcheckerrandom