Improve the performance of the Kore parser#2296

ttuegel merged 8 commits intomasterruntimeverification/haskell-backend:masterfrom

2189runtimeverification/haskell-backend:2189Copy head branch name to clipboard