ITPRO-86 put timing info into syslog instead of STDERR (-> cronjob!) and
use machine-parsable format.