added option to output timings in xml, so we can graph performance history in jenkins