parser.cpp: use a pageNumber unique for the job
xtrparser: added workaround
xtrparser: renamed from parser
hrparser: added parser for the Human-readable output of UPPAAL
xtrparser: changed to work with converter