Impostazioni GIT: aggiungo mergetool