Now correctly completes a deterministic Owl automaton before translating to a Moore machine. Also now uses deterministic automata in command line interface.