Add a create-svg-icon-set-file.py script to generate an SVG icon-set file from the SVG icon files