Optimized images

All images optimalized via JPEGmini and PNGGauntlet. The image quality
unchanged, but the files are smaller.
Merge pull request #538 from gergo85/master

Optimized images