Replace build-all-themes.sh with Python script so it can run on any OS. TODO: generate.sh