Diff

Changed from JSDiff to Google's diffmatchpatch.