Separated "stainless-dotty" and "stainless-dotty-frontend". The latter is exactly what "stainless-dotty" used to be, except with its dotty dependency qualified by "provided", meaning it has no jar dependency on dotty. This allows us to depend on "stainless-dotty-frontend" from dotty itself without running into problems of cyclic dependencies. The "stainless-dotty" project, on the other hand, continues to behave as expected.
Separated "stainless-dotty" and "stainless-dotty-frontend". The latter is exactly what "stainless-dotty" used to be, except with its dotty dependency qualified by "provided", meaning it has no jar dependency on dotty. This allows us to depend on "stainless-dotty-frontend" from dotty itself without running into problems of cyclic dependencies. The "stainless-dotty" project, on the other hand, continues to behave as expected.

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless