Update from theia trace extension - #5

Update from theia trace extension#5

bhufmann merged 2 commits into

mastereclipse-cdt-cloud/traceviewer-libs:masterfrom

update-from-theia-trace-extensioneclipse-cdt-cloud/traceviewer-libs:update-from-theia-trace-extensionCopy head branch name to clipboard