More parallelism to speed up execution

[tumidi]

asyncio could be very interesting to parallelize tasks.

In particular TikZ->SVG conversion could benefit.