Git Extensions Configure Merge Tool