Fraxtil's GIF library for Python