Agrega cuanto tardó a la salida.

Esto lo hacía en algún momento, parece que alguien lo había pisado. Ahora la
salida es un poco más linda (aunque menos parser-friendly, pero nada grave).
Siempre el tiempo se escupe por stderr.