added opendiff as diff-tool