Optimized images

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