Improved sorting of sequence diagrams

• new algorithm for sorting sequence diagrams (improved sorting)
• improved and fixed formatting (formatting several times yields same output)