Optimize png images with optipng -o7