Highlighting updated memory nodes in trace vis.
Merge branch 'master' of github.com:michael-emmi/c2s