Library patience_diff

The entry point for this library is module Patience_diff_lib.