Generates DOT representations of Statesman machines and runs dot to render them to PNGs - View it on GitHub