prism-auto: allow use of ngprism on Windows

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12198 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/etc/scripts/prism-auto

@@ -800,9 +800,6 @@ if options.logDir and not os.path.isdir(options.logDir):
     print("Log directory \"" + options.logDir + "\" does not exist")
     sys.exit(1)
 if options.nailgun:
-    if isWindows():
-        print("Using nailgun on Windows is currently not supported")
-        sys.exit(1)
     if options.echo or options.echoFull:
         print(options.prismExec + " -ng &")
     else: