Petri net checker

I have added typechecking.{c,h} and modified the Makefile.am to compile mist with this two files.

There are no errors when compiling but I didn't test yet the functions
this has the exact same code as tree_dump and duplicate code is never good. why then not call tree_dump with possible_petri_net as one of the parameter?