Expose booster-dev (#3856)

Fixes #3855 

Follow-up in K: runtimeverification/k#4335

Author: geo2a

flake.nix

@@ -245,6 +245,7 @@
           kore-rpc = withZ3 pkgs kore "kore-rpc";
           kore-rpc-booster = withZ3 pkgs hs-backend-booster "kore-rpc-booster";
           kore-rpc-client = withZ3 pkgs hs-backend-booster "kore-rpc-client";
+          booster-dev = withZ3 pkgs hs-backend-booster-dev-tools "booster-dev";
           inherit (pkgs.haskell-backend.pkgSet) haskell-language-server;
         });