copy: Use redesigned copy button in bot settings UI.

This commit just replaces the old fa copy icon with the custom Zulip
copy icon. Since all the bot related icons in Personal/Settings/Bots
uses different colors, this commit avoids only changing the copy icon
colors, since that would result in an unintended standout.

web/src/settings_bots.ts

@@ -507,7 +507,9 @@ export function set_up(): void {
     // Show a tippy tooltip when the bot zuliprc is copied
     clipboard.on("success", (e) => {
         assert(e.trigger instanceof HTMLElement);
-        show_copied_confirmation(e.trigger);
+        show_copied_confirmation(e.trigger, {
+            show_check_icon: true,
+        });
     });
 
     $("#bot-settings .add-a-new-bot").on("click", (e) => {

web/styles/settings.css

@@ -895,15 +895,7 @@ input[type="checkbox"] {
         }
 
         .copy_zuliprc {
-            padding: 0 4px;
-
-            #clipboard_image {
-                margin: 0 -2px 0 0;
-
-                path {
-                    fill: hsl(51deg 90% 50%);
-                }
-            }
+            color: hsl(51deg 90% 50%);
         }
 
         .purple {

web/templates/settings/bot_avatar_row.hbs

@@ -12,7 +12,7 @@
                     <i class="fa fa-download sea-green" aria-hidden="true"></i>
                 </a>
                 <button type="submit" id="copy_zuliprc" class="btn copy_zuliprc tippy-zulip-delayed-tooltip" data-tippy-content="{{t 'Copy zuliprc' }}">
-                    {{> ../copy_to_clipboard_svg }}
+                    <i class="zulip-icon zulip-icon-copy" aria-hidden="true"></i>
                 </button>
                 <button type="submit" class="btn deactivate_bot danger-red tippy-zulip-delayed-tooltip" data-tippy-content="{{t 'Deactivate bot' }}" data-user-id="{{user_id}}">
                     <i class="fa fa-user-times" aria-hidden="true"></i>