improve the diff algorithm: finally an usable one.
improve the diff algorithm: finally an usable one.

The new diff is basically a functional-ish version of Myers'
greedy diff algorithm, with some memory overhead.

Fortunately class files have a limited size, so this shouldn't be
too much of a problem right now. Still the linear rafinement
should be implemented...

gourlaysama/bcdiff