New: bigraph-visualizer, taken from Eloi Pereira and refactored to handle multiple threads.