Continue program options cleanup.
Export pnmc statistics to a JSON file.
Add the possibility to limit the time for the state space computation.
A time limit of 0 means no time limit.
Merge branch 'master' into force

Conflicts:
	src/conf/fill_configuration.cc
	src/mc/work.cc