changed GraphvizUtils to GraphvizWrapper which is now an OSGi service managed using SCM DS
fixed preconditions in org.foam.transform.utils.nusmv.NusmvWrapper.openNusmvProcess(String)