Make the box PNGs a bit smaller. They're still smaller than what we get out

of pngcrush, and they have a silly comment at the end (tEXt chunks) that
I can't find out where comes from, but it's at least better.