timemerge: tool to merge several different log files in chronological order