Use monospace font in automata graphviz.

This makes the PDF output look more like the source code it's extracted from, which can help with its use ever so slightly.