[VOTE] Time format for access time.

[Antonio Gallardo]

Hi:

This is only related to the time format in the access output. Currently we
use:

Processed by Apache Cocoon 2.1.8-dev in 3.612 seconds.
Processed by Apache Cocoon 2.1.8-dev in 3 milliseconds.

New format (an ISO8601-like):

Processed by Apache Cocoon 2.1.8-dev in 0:00:03.612
Processed by Apache Cocoon 2.1.8-dev in 0:00:00.003

Please casts your votes.

Best Regards,

Antonio Gallardo