recompress PNGs

I ran the PNGs through a lossless compressor. This should save a few
Kilobytes for each initial request without costing anything. :)

Here's the tool I used: https://imageoptim.com/