add git mergetool derfs