Reduced size of documentation images.

Used pngquant, very effective and no visible loss of quality.