File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/ - View it on GitHub