better compression for PNG files

Most PNG images in the repository were re-compressed with different settings to produce a smaller file size while keeping the same image data.

Due to the fact that PNG is a lossless format, this will not impact the image quality.