Remove booster build from kframework.rb formula (#4)

Fixes the MacOS package build for K framework after merging HS backend repositories, see https://github.com/runtimeverification/k/actions/runs/8622540175/job/23633901143

Author: jberthold

Formula/kframework.rb

@@ -39,17 +39,13 @@ def install
         # https://github.com/Homebrew/homebrew-core/issues/122863
         with_env(PATH: ENV["PATH"].sub("#{Formula["llvm"].bin}:", "")) do
 
-        # For both components, we need to run the stack phases _outside_ of
+        # We need to run the stack phases _outside_ of
         # Maven to prevent connections from timing out.
         cd "haskell-backend/src/main/native/haskell-backend" do
           system "stack", "setup"
           system "stack", "build"
         end
 
-        cd "hs-backend-booster/src/main/native/hs-backend-booster" do
-          system "stack", "setup"
-          system "stack", "build"
-        end
       end
     end