Bigdiff - Python script to diff two huge files.