Added typechecking functionality to mist. I have also modified the Makefile.am to compile new files and the main function to take care about if the problem instance is a petri net or not
Merge branch 'petri_net_checker' of github.com:pevalme/mist into petri_net_checker