(maint) Fix unit of profile output

The profile aggregation stated that the times were in milliseconds (ms),
but they are actually in seconds (s).
Merge pull request #3108 from zaphod42/maint/master/incorrect-unit

(maint) Fix unit of profile output