Optimized images

All images optimalized via PNGGauntlet. The image quality unchanged, but
the files became smaller.