Use external diff by default (for experts only, needs special settings on your computer)