To be able to better tackle the performance issues in
WebIDE, we need to know what we measure and what we
optimise for. This commit brings several more User Timing
metrics into the mix which the further performance work
in WebIDE should be based upon.