Adding new reduced dependency graph

modeling/AVATAR/CoffeeMachine_Avatar.xml

src/main/java/avatartranslator/AvatarDependencyGraph.java

src/main/java/avatartranslator/AvatarSpecification.java

...tartranslator/modelchecker/SpecificationReachability.java

src/main/java/graph/AUTGraph.java

src/main/java/graph/AUTState.java

src/main/java/ui/window/JDialogAvatarModelChecker.java