Add xml parser for Uppaal save files