Website for Theia Trace Extension documentation#896

Rodrigoplp-work wants to merge 3 commits intoeclipse-cdt-cloud:mastereclipse-cdt-cloud/theia-trace-extension:masterfrom

Rodrigoplp-work:webdocRodrigoplp-work/theia-trace-extension:webdocCopy head branch name to clipboard