Succesful execution one benchmark for every family

 - In combination with commit 4b544f8b5d702d27d3909378f54f13e13787374c of
	the Cunf repository
 - BenchKit_head debugged, runtimes
 - Fragment of the grammar that we recognize has been enlarged
 - Some test formulas
 - ad-hoc pnml2pep.py
The version that goes to the contest

 - using the Cunf tool as in commit
	af408952411c57300c0d83ffb359619e78d61f9a