CI for the backend

[smarter]

When a PR is made against the backend repo (https://github.com/lampepfl/scala/tree/sharing-backend), it should automatically run the dotty CI with the backend submodule set to the PR's latest commit.

[liufengyun]

No longer relevant after #5869.