Update trac2html so that WriteHTMLForTracesToFile calls WriteHTMLForTraceDataToFile