Add plain text timestamp entries to the build log file (filesystem, not UI). This feature is intended to be used by external log parsers which require some timing information easily parseable.

This feature is deactivated by default and must be activated by setting a system property.