Syntax checking for ports of channels and events

modeling/DIPLODOCUS/SmartCardProtocol_test.xml

src/main/java/tmltranslator/TMLChannel.java

src/main/java/tmltranslator/TMLEvent.java

src/main/java/tmltranslator/TMLPort.java

src/main/java/tmltranslator/TMLSyntaxChecking.java

src/main/java/ui/GTMLModeling.java