use opendiff as merge tool