Mainargs: a small, convenient, dependency-free library for command-line argument parsing in Scala

[odersky]

We will hopefully be able to merge the two. For the moment Scala-3’s @main only covers a small subset of what Mainargs can do. But the plan is to extend that.