easy color-coded diffs, using google's diff/match/patch