Easy generation of timing diagrams as TikZ pictures
