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.