Timing diagram: Consider export to WaveDrom format

[maehne]

It would be nice if timing diagrams recorded in Logisim-evolution could be exported in WaveDrom format. This would facilitate documentation, as the format can be easily edited to annotate, e.g., relations between different signals.