Introducing the hs-backend-booster to K Framework

[Robertorosmaninho]

This PR introduces the Haskell Backend Booster to the K Framework repository!
Fixes #3470 with:

• Clone the booster repo
• Build with stack build in a similar way to haskell-backend/pom.xml
• Modify the k-distribution/src/main/assembly/bin.xml to look for the appropriate binaries using the assemblies path.
• Add a CI test that the booster is launchable with the installed Ubuntu package.

[goodlyrottenapple]

we don't use a *.cabal file, instead we use package.yaml in the booster

[goodlyrottenapple]

we need to do this for the booster in nix:

k/nix/k.nix

Lines 22 to 23 in ccd2656

	"-Dllvm.backend.skip=true"
	"-Dhaskell.backend.skip=true"

namely, disable building of the booster via maven, since we manually build and link the booster in nix.

[jberthold]

LGTM

[radumereuta]

From Dwight:
Try to build the Debian package on your local machine and see why it doesn't work.
To build the package: dpkg build-package (approximate)
Inspect the directory structure and see what's missing.

We have to make sure that we're testing the booster on all distros.

[Robertorosmaninho]

Do not automerge: NixOS 23.05 not working with this branch.

[dwightguth]

lgtm