Optimized images

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