[ANN] GHCup 0.2.0.0 RC (or beta, maybe)

I’ve added it here: Add Agda · haskell/ghcup-metadata@89d8d01 · GitHub It should show up in the default channel when using the prerelease. Once a proper release commences, I will move those tools to separate channels.