Add the ability to select newly created node

[sbegaudeau]

• by default a newly created instance in a tool using the view DSL should be selected
• an API should be available to specify what should be selected instead

[pcdavid]

We will leverage the exising WorkbenchSelection returned when invoking a tool on a diagram:

// diagram.graphqls
type InvokeSingleClickOnTwoDiagramElementsToolSuccessPayload {
  id: ID!
  newSelection: WorkbenchSelection
  messages: [Message]!
}

// core.graphqls
type WorkbenchSelection {
  entries: [WorkbenchSelectionEntry!]!
}

type WorkbenchSelectionEntry {
  id: String!
  label: String!
  kind: String!
}

Note that since #3675 the corresponding frontend type SelectionEntry no longer includes the label.

[pcdavid]

AFAICT, the infrastructure to propagate this during the evaluation of model opertations (e.g. ChildModelOperationHandler), and to return this as part of the tool's payload (e.g. in InvokeSingleClickOnDiagramElementToolEventHandler.handle()) is in place.

However the only place where the Success.NEW_SELECTION is actually set in the backend seems to be in NavigationOperationHandler.

From what I can see, it does not seem to be used on the frontend? It was used at some point, but it looks like something that has not yet been re-introduced in the new React Flow-based diagrams.