Reduced the total PNG file size by 96%...

... by running them through http://tinypng.com -- total reduction was about 12 MB.

Signed-off-by: Erik van der Neut <vanderneut@gmail.com>