Implement user timing API

See [https://w3c.github.io/hr-time/#dom-domhighrestimestamp f](https://w3c.github.io/user-timing/) as the required extensions to the `Performance` feature.

Comienza con las especificaciones enlazadas de W3C High Resolution Time y User Timing; después, localiza la funcionalidad Performance existente en StarlingMonkey. Se considera terminado cuando se implementen las extensiones requeridas de User Timing API, pero el issue no identifica archivos, pruebas ni una condición de aceptación más específica.

Escrito por el modelo de indexación a partir del texto del issue.