Executor pool docs

[talex5]

A rebased and simplified version of @SGrondin's #650 that only makes minimal changes to add the new section. In particular:

• It introduces the domain manager first, as I think it's easier to understand multiple domains first without pooling.
• I moved the performance hints to the multicore guide.

I also added a trace diagram showing the use of multiple cores.