tracemeld: Allow to override diff tool.