Add TikZ automaton graph to LaTeX document