Introduce User Timing API metrics for WebIDE
Following the accepted "User Timing API for monitoring performance health of the application" RFC, we should introduce the implementation into ~"group::editor"'s products.
This Issue is about adding the measurements and metrics for WebIDE.