Add gitconfig; mostly for external diff/merge tools.