rename bard to gemini

In a somewhat surprising move, it appears that Google is dropping the “Bard” branding entirely on its upcoming web app and mobile experience, in favor of “Gemini” entirely.