Convert *.gif to *.png, remove some unused/deprecated icons

The converted *.png files are optimized with
optipng -o7. The iconUrl are adapted to the
*.png file extension.