House keeping (#3914)

* adjusts cache name for stack cache to match between release and PR
test workflow
* removes reference to non-existing `README.md` from `kore.cabal`
* removes `CHANGELOG.md` (we can get it back if we decide to maintain
it)
* includes gz-compressed tarballs in `booster-analysis.sh` script

Author: jberthold

.github/workflows/release.yml

@@ -108,10 +108,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: ~/.stack
-          key: stack-2-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('stack.yaml') }}-${{ hashFiles('stack.yaml.lock') }}
+          key: stack-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('stack.yaml') }}-${{ hashFiles('stack.yaml.lock') }}
           restore-keys: |
-            stack-2-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('stack.yaml') }}
-            stack-2-${{ runner.os }}-ghc-${{ env.ghc_version }}
+            stack-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('stack.yaml') }}
+            stack-${{ runner.os }}-ghc-${{ env.ghc_version }}
 
       - uses: haskell-actions/[email protected]
         id: setup-haskell-stack