Swap out primary UI color for Zoo brand blue, add theme color setting to control its hue (#2017)

* Add a setting for themeColor

* Add primary-color to Tailwind, driven by themeColor setting

* Get rid of most uses of "energy" colors

* Change out the rest of the energy colors

* Tweak NetworkHealthIndicator light mode checkmarks

* Handful of other CSS tweaks while I'm here:
- remove the AppHeader bg and border
- pane margins
- better dark mode button styles

* Make Zoo logomark a badge

* A snapshot a day keeps the bugs away! 📷🐛 (OS: ubuntu)

* Re-run CI post-snapshots

* A snapshot a day keeps the bugs away! 📷🐛 (OS: ubuntu)

* Retrigger CI

---------

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>

src/routes/Onboarding/CodeEditor.tsx

@@ -24,8 +24,7 @@ export default function CodeEditor() {
       >
         <section className="flex-1">
           <h2 className="text-3xl font-bold">
-            Editing code with{' '}
-            <span className="text-energy-60 dark:text-energy-20">kcl</span>
+            Editing code with <span className="text-primary">kcl</span>
           </h2>
           <p className="my-4">
             kcl is our language for describing geometry. Building our own