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
That's true. I'm going to fix it.

About the editor, I'll modify it to stop doing that