Image optimizations for our image resources.

The png files were otimized with `pngcrush -brute` and the gif with `gifsicle`.
The changes, although they are supposed to be lossless, should be tested in
different browsers.