This adds the ability to enable the patdiff program as git differ. Website of the project: https://opensource.janestreet.com/patdiff/