Style file for drawing timing diagrams in LaTeX