New simplified trace display mode reduces the size of large graphs.
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration