Optimize PNG

Summary:
On Wikimedia, we use optipng -o7 with success for some months
to reduce PNG size. This commit applies the same optimization here.

Reviewers: dereckson

Differential Revision: https://devcentral.nasqueron.org/D486