BigDiff – A tool for comparing very large, line-oriented data sets