Shrink down PNG files

I only did some of them. The flags were too many.

All images are losslessly made smaller. I did not touch any transparency information although there is a future possibility for that.

Tools used were zopflipng, pngout, deflopt, and defluff.