Update link from unofficial nixos wiki to official one#4014

llakala wants to merge 2 commits intoruntimeverification:masterruntimeverification/haskell-backend:masterfrom

llakala:update-wiki-linkllakala/haskell-backend:update-wiki-linkCopy head branch name to clipboard