Adds automaton printer, changes xml (changed current/next into from/to in transitions), removes old xml printing code

Adds unknown automaton, removes parsers for FSM, PDA and TM (replaced by single parser for UnknownAutomaton)