Start K Server for CI tests

[ehildenb]

• Start K Server before KEVM Haskell and KEVM Foundry tests.
• Make sure that we're getting a shared Z3 process pool among those.

Would it be possible to integrate this logic for starting the K Server into the testing plugin? https://github.com/runtimeverification/pyk/blob/master/src/pyk/testing/_kompiler.py.

Related issue? runtimeverification/k#4218

[F-WRunTime]

Best way I can think to handle this is by spinning up the kserver as part of the workflow as part of the pyk code / test itself. @tothtamas28 See some discussion on the topic in the PYK issue but maybe the problem has been resolved somewhere else?