Optimize PNG images with optipng

All of the images should be losslessly compressed, as [recommended by Google](https://developers.google.com/speed/docs/insights/OptimizeImages). I've left the GIF files alone.