Show proverif result trace in primitive ports and latency panel scrollbars added

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/toavatar/TML2Avatar.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/MainGUI.java

src/main/java/ui/TDiagramPanel.java

...eractivesimulation/JFrameAvatarInteractiveSimulation.java

...ui/interactivesimulation/JFrameInteractiveSimulation.java

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