Illustrate the HOA example with automata in SVG.
Fix missing BODY/END in last example automaton
Add `property: stutter-invariant`.  Closes #28.