SMVParser.py Take2\NuSMVParser - accepts as argument path to smv file, executes nusmv and outputs paths of generated jpg graphs