Merge branch 'petri_net_checker'
branches merged
Merge remote-tracking branch 'upstream/master'
Script adapted to the Timeout option of mist. During the implementation of this feature I found and fixed some bugs on the script
Merge pull request #9 from pevalme/tests_script_timeout

Tests script timeout