Update on help: adding info for PLAN

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/tmltranslator/TMLSyntaxChecking.java

...i/simulationtraceanalysis/JFrameLatencyDetailedPopup.java

src/main/resources/help/helpTable.txt

src/main/resources/help/plan.md

src/main/resources/ui/util/plan_window.png

src/main/resources/ui/util/plan_window_mini.png

src/main/resources/ui/util/selectoperators.png

src/main/resources/ui/util/selectoperators_mini.png