Shrunk image sizes with ImageOptim

All files are same name, just ~35% smaller file sizes. I used http://imageoptim.com to shrink them.