Fix Windows file path for extracting from ZipFile (resolves #7)

Author: salaniz

spice/get_stanford_models.py

@@ -28,11 +28,12 @@ def get_stanford_models():
         print()
         print('Extracting {} ...'.format(JAR))
         file_name = os.path.join(CORENLP, JAR)
+        # file names in zip use '/' separator regardless of OS
+        zip_file_name = '/'.join([CORENLP, JAR])
         target_name = os.path.join(SPICEDIR, SPICELIB, JAR)
         for filef in ['{}.jar', '{}-models.jar']:
-            extract_file = filef.format(file_name)
-            ZipFile(zip_file).extract(extract_file, SPICEDIR)
-            os.rename(os.path.join(SPICEDIR, extract_file),
+            ZipFile(zip_file).extract(filef.format(zip_file_name), SPICEDIR)
+            os.rename(os.path.join(SPICEDIR, filef.format(file_name)),
                       filef.format(target_name))
 
         os.rmdir(os.path.join(SPICEDIR, CORENLP))