Major mode for editing files in the Hanoi Omega Automata format.
(See URL `http://adl.github.io/hoaf/' for that format.)  This
provides rules for syntax highlighting, some navigation functions,
and a convenient way to display the automata in Emacs.