Modificar el reloj del ejemplo anterior para que presente:

Horas, minutos, segundos y milisegundos con el formato:

12 horas, 23 minutos, 10 segundos, 123 ms.

Se recomienda variar el intervalo del evento a 1 ms.

• Utilizar métodos que extraen de un objeto Date: horas, min., seg. y ms. getHours(), getMinutes(), getSeconds() y getMilliseconds()
• Tutorial Date: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Date
• Modificar el formato de presentación en mostrar_hora()

Hacer que el reloj pare al hacer click sobre él (si está en marcha)

• Y que vuelva a arrancar al hacer click sobre él cuando esté parado.
• Utilizar addEventListener(...) para añadir manejadores.

Tutorial timers: https://developer.mozilla.org/en/docs/Web/API/EventTarget.addEventListener