fixed the handling of output from nusmv process which is based on new java Streams
cleaning log messages - debug vs info
NuSMV is now running from the PATH environmental variable.