.gitconfig: Add alias to delete branch if it was merged previously