Smaller logo file

Better PNG compression of logo file, as produced by Page Speed.