requirements linking

src/main/java/ui/MainGUI.java

src/main/java/ui/RequirementPanel.java

src/main/java/ui/req/Requirement.java

src/main/java/ui/req/RequirementDiagramPanel.java

src/main/java/ui/tmlcompd/TMLCPrimitivePort.java

src/main/java/ui/window/JDialogProverifVerification.java

src/main/java/ui/window/JDialogTMLCompositePort.java