Optimize the .png images

This trick was performed by

	optipng -o7 -zm1-9 -strip all $(git ls-files \*.png)

(version 0.7.6 of optipng)

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

Author: dscho