Merge branch 'update_docs_and_fix_bugs_for_security_verif' into 'master'

Makefile

doc/SysMLSec/fig/channelsecurityTab.png

doc/SysMLSec/fig/fv_auth_check.svg

doc/SysMLSec/fig/hsm_ad_hsm_cpu1.svg

doc/SysMLSec/fig/hsm_ad_t1.svg

doc/SysMLSec/fig/hsm_fv.svg

doc/SysMLSec/sysmlsec_documentation.tex

doc/diplodocus_tutorial/Tutorial.tex

...torial/figures/securityStuff/alice_bob_nonce_ad_alice.svg

...tutorial/figures/securityStuff/alice_bob_nonce_ad_bob.svg

...cus_tutorial/figures/securityStuff/fv_alice_bob_nonce.svg

modeling/SysMLSec/AliceAndBobHW.xml

modeling/SysMLSec/SysMLSecTutorial.xml

simulators/c++2/src_simulator/ServerHelpData.h

src/main/java/tmltranslator/TMLModeling.java

src/main/java/ui/tmlad/TMLADReadCAMS.java

src/main/java/ui/tmlad/TMLADReadChannel.java

src/main/java/ui/tmlad/TMLADWriteCAMS.java

src/main/java/ui/tmlad/TMLADWriteChannel.java

src/main/java/ui/window/JDialogMultiStringAndTabs.java