Finished coding NuSMV counter example view. Its generic and accepts any
number of SPECS.

one issue: There is one place hard coded where the python is executed.