Document workaround for Apple Silicon#2893

rv-jenkins merged 2 commits intomasterruntimeverification/haskell-backend:masterfrom

apple-silicon-docsruntimeverification/haskell-backend:apple-silicon-docsCopy head branch name to clipboard