Remove mutex around LLVM calls from booster#4087

jberthold wants to merge 3 commits intomasterruntimeverification/haskell-backend:masterfrom

enable-parallel-calls-to-llvmruntimeverification/haskell-backend:enable-parallel-calls-to-llvmCopy head branch name to clipboard