CTL engine statistics

[Jiri Srba]

The CTL engine has been updated and is available here:

https://code.launchpad.net/~tapaal-dist-ctl/verifypn/new-verifypn-w-ctl

When the verification is done in the CTL TAPAAL branch

lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367

the proper statistics should be displayed for the CTL engine output.
The output looks something like this:

STATS:
     Time (seconds): 5.644
     Configurations: 3563952
     Markings: 1187984
     Edges: 11743716
     Processed Edges: 13295370
     Processed N. Edges: 3200281
     Explored Configs: 3563952

and the three statistics to be displayed are:

Configurtations, Markings and Edges, with the following headings:

Explored configurations:
Explored markings:
Explored hyper-edges:

The explanation text is:
"The number of configurations, markings and hyper-edges explored during
the on-the-fly generation of the dependency graph for the given net and
query before a conclusive answer was reached."