Images: Optimize PNG and GIF images using lossless compression

For the PNGs, I've used the Zopfli library.
For the GIFs, I've used Gifsicle and Imagemagick.

12796 bytes saved (including 15 bytes in tests and 9164 bytes in demos)