Compress images

Use ImageOptim for lossless compression of images. This saves about half a megabyte overall.