Runaway batch executor pool size

In runaway, the pool-size of the executor is currently set to one as can be seen there:

https://gitlab.inria.fr/apere/orchestra/blob/master/runaway-cli/src/main.rs#L380

We should lift this limitation to allow runaway to use as much threads as possible.