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.
Merge pull request #152 from marcjansen/pngcrush

Image optimizations for our image resources.