Optimize images

I used gifsicle, optipng and pngout to reduce the size of all the images.