Merge with Mehdi.
Imported TimeConstraints new semantics (with tests).
Minor changes around in SMessage(comments), SSequenceDiagram(small refactoring needed for time constraints), STransition(bugfix)