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
there is a err_quit function to use instead. look somewhere else the code about this err_quit