use viz.js to display the automaton of the spec
use ../_build/src/mainspec.native to convert spec to dot format