chore: update links to tvixbolt

Use bolt.tvix.dev everywhere.

Change-Id: Ifebbea60058418c12cde20a2a3879a8a7f5f830c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11022
Reviewed-by: flokli <flokli@flokli.de>
Autosubmit: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>

users/flokli/presentations/2023-09-09-nixcon-tvix/presentation.md

@@ -75,7 +75,7 @@ Note: Derivation types, serializers. NAR writers, nixbase32 enc/dec, Nix Hash fu
 - <!-- .element: class="fragment" -->
   IO is nicely abstracted away
   - <!-- .element: class="fragment" -->
-    We can run a Nixlang subset without IO in wasm (see [tvixbolt](https://tvixbolt.tvl.su/)),
+    We can run a Nixlang subset without IO in wasm (see [tvixbolt](https://bolt.tvix.dev/)),
     or parse Nix into a config struct with `tvix-serde`
 
 ----

users/tazjin/blog/posts/tvix-eval-talk-2023.md

@@ -8,7 +8,7 @@
 
 * [Tvix](https://tvix.dev), главный сайт проекта
 * [TVL](https://tvl.fyi), наше онлайн-сообщество
-* [Tvixbolt](https://tvixbolt.tvl.su/), наш "godbolt" для tvix
+* [Tvixbolt](https://bolt.tvix.dev/), наш "godbolt" для tvix
 * [MMTk](https://www.mmtk.io/), Rust-библиотека с компонентами для garbage-collection
 * [Интервью / доклад](https://www.youtube.com/live/0Lhahzs-Wos?si=BlFDVBUPsIpHg0p5), Nix -- не только пакетный менеджер
 * [NixCon 2023](https://2023.nixcon.org/)

users/tazjin/homepage/entries.nix

@@ -129,7 +129,7 @@ in
     class = "project";
     title = "Tvixbolt";
     date = 1667293200;
-    url = "https://tvixbolt.tvl.su/";
+    url = "https://bolt.tvix.dev/";
     description = "In-browser language evaluator for Nix, based on Tvix";
   }
   {