Commandline options: Added --no-claim-check option.

This option disables the sanity checks on the claims. This can be useful for expert
users. In practice, we need it for some of the key renegotiation models.
BUGFIX: Claims in protocols with only one role could lead to segfault.
Updates on some models that use hash functions.
Cluster legend goes at the bottom (again).