-
add tool minify.py