use newer STL diff-match-patch file

see https://github.com/leutloff/diff-match-patch-cpp-stl