Optimized images.

Ran PNG files through advpng, OptiPNG, PNGOUT, pngwolf and TruePNG.
Ran GIF files through Gifsicle.
All compression and optimization is lossless.