Bug fixes and updated SysMLsec documentation

The empty HSM activity diagram bug is fixed, a more clear warning is issued if keys cannot be mapped securely, and the SysML Sec Documentation is updated.