Compress PNGs, convert a GIF to PNG

Also updated HTML files to make sure they're pointing to the right spot.

Fixes #15