GIT: Added SemanticMerge as merge tool