middle commit.
Finished PNMLConfigurationReader. Added all the classes needed in order
to avoid dependency to codegen project.
Added thread pool as a parameter on the InformedTransition construction
in PNMLCOnfigurationReader