ci: split integration tests into parallel LLVM and Haskell jobs#993

Stevengre wants to merge 3 commits intomasterruntimeverification/mir-semantics:masterfrom

ci/split-llvm-tests-parallelruntimeverification/mir-semantics:ci/split-llvm-tests-parallelCopy head branch name to clipboard