Add PNML parser.
Merge branch 'master' into force_post_process
Added a new heuristic which sorts the HyperEdges according to their number of Variables