[MERGE] Always include timestamps in the trace file (i.e. remove -Dtimes in favour of having it switched on permanently)

[Bundle Buggy]

Bundle Buggy has detected this merge request.

For details, see: 
http://bundlebuggy.aaronbentley.com/request/%3C20080122050608.GA6905%40steerpike.home.puzzling.org%3E