Hs dependency upgrade#4094

jberthold wants to merge 16 commits into

masterruntimeverification/haskell-backend:masterfrom

hs-dependency-upgraderuntimeverification/haskell-backend:hs-dependency-upgradeCopy head branch name to clipboard