Semantics of Vote node done for fault trees

modeling/AVATAR/faulttreetest.xml

src/main/java/faulttrees/NOTNode.java

src/main/java/faulttrees/VoteNode.java

src/main/java/ui/FaultTreePanelTranslator.java

src/main/java/ui/ftd/FTDConstraint.java