Add: support for backward/forward replay to XML; Progress: loading files (ICP syntax + XML) almost done, network automaton remaining