Show message to start the IDE
Show message to start the IDE

When the extension detects that this is an un-configured project (no
`.dotty-ide-artifact`, no `build.sbt`), it shows a message asking the
user whether she wants the IDE to be started.

sjrd/dotty,dotty-staging/dotty,sjrd/dotty,som-snytt/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,som-snytt/dotty,sjrd/dotty,som-snytt/dotty,dotty-staging/dotty,dotty-staging/dotty,som-snytt/dotty