Make workspace capable of providing some Executor

Java CompletableFuture are often convenient. Recently the Display was well integrated with those by making `Display implements Executor`. Similarly, we should facilitate usage of future to deal with the workspace model; to replace WorkpaceJob and workspace.run().
I imagine the Workspace could provide an `.executor()` and another `.executor(ISchedulingRule)` method so one could write code of the form:

```java
CompletableFuture.supplyAsync(() -> computeAProjectDescriptionInWhateverThread()) // locks nothing by default
.thenAccept(projectDescription -> createProject(projectDescription), workspace.executor()) // locks the workspace, like workspace.run(), then free it
.thenAccept(project -> navigator.select(project), display); // locks the UI
```

Iniziare esaminando le Workspace APIs e l’uso esistente di WorkspaceJob e workspace.run(), quindi confrontarli con Display, che implementa Executor, e con l’esempio di CompletableFuture nell’issue. Determinare come executor() ed executor(ISchedulingRule) debbano preservare la semantica di locking e scheduling del workspace. Il lavoro è completo quando la progettazione e l’implementazione supportano la catena di future proposta senza lasciare non sincronizzate le operazioni del workspace.

Scritto dal modello di indicizzazione a partire dal testo della issue.