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
"The algorithm you selected only accepts Petri Net and the input net is not a Petri net.\n"