Diff Algorithms: Myers, Patience, and Histogram