Implement window.performance.timing

https://developer.mozilla.org/en-US/docs/Web/API/Performance/timing

https://w3c.github.io/navigation-timing/#the-performancetiming-interface

This would be really useful to page loading performance, like #10425.
