Make rasterize script more robust. Move scripts to project root.

Author: duncan255

codegen/binary.py renamed to binary.py

@@ -0,0 +1,20 @@
+import os
+import subprocess
+import re
+
+# This script converts SVG images into PNG.
+# Requires Python 3, Inkscape and pngquant.
+
+self_dir = os.path.dirname(__file__)
+img_dir = os.path.join(self_dir, "img")
+
+for svg_name in os.listdir(img_dir):
+    svg_path = os.path.join(img_dir, svg_name)
+    base, ext = os.path.splitext(svg_name)
+    if ext == ".svg":
+        png_name = "{0}.png".format(base)
+        png_path = os.path.join(img_dir, png_name)
+        if not os.path.exists(png_path) or os.path.getmtime(svg_path) > os.path.getmtime(png_path):
+            print(svg_name)
+            subprocess.run(["inkscape", "-z", "-e", png_path, "-d", "192", svg_path])
+            subprocess.run(["pngquant", "--ext", ".png", "--force", "--skip-if-larger", "--strip", png_path])