tools/make-frozen: Update for latest changes in frozen modules support.

Frozen modules are now stored with extensions and with '/' as path
separator. In other words, frozen modules paths stored as they are
in normal filesystem.

tools/make-frozen.py

@@ -23,7 +23,7 @@
 
 
 def module_name(f):
-    return f[:-len(".py")]
+    return f
 
 modules = []
 
@@ -40,7 +40,7 @@ def module_name(f):
 print("const char mp_frozen_str_names[] = {")
 for f, st in modules:
     m = module_name(f)
-    print('"%s\\0"' % m.replace("/", "."))
+    print('"%s\\0"' % m)
 print('"\\0"};')
 
 print("const uint32_t mp_frozen_str_sizes[] = {")