Ran images through ImageOptim.

This saves around 50KB of total file size with no observable degradation.