Code review comment for lp:~tapaal-contributor/tapaal/Gui-freeze-1896457

Don't think we should call a gui-popup from a parser, instead use the same pattern as for the XML loader to return a list of messages/warnings.
This way the code can be reused also for other implementation not using the gui, eg. batchprocessing and commandline.