Smaller PNG files

I used pngout and zopfli-png to compress these files down as much as possible. Decompressed, these files should be bit-for-bit identical.