Use lossy GIF to reduce animated GIF
To reduce animated GIF size, I'd like to use lossy GIF, but I seems that there's no appropriate python module for that.

The idea I have now is to use gifsicle as an external command, but Pyxel needs to include binaries of it for each environment.

Please let me know if there's other good ideas!