Extend diff tool by option to overwrite local changes