sbt-dotty: Make launchIDE work offline#5133

smarter merged 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:launchIDE-no-connectiondotty-staging/dotty:launchIDE-no-connectionCopy head branch name to clipboard