Shrink PNG files with OptiPNG

I ran `optipng -o9` on all the PNG files in Brat to see if they got any smaller. They did, though not by a lot, so please decide whether this small optimization is worth it. (It makes the repo even bigger, of course.)