Optimize PNG
Update Galaxy bitmap

The previous 'Galaxy.png' was actually a JPEG. The new 'Galaxy.png'
is actually a PNG. The file size is much larger, but the actual
number of decompressed pixels that will be resident on the server
is the same.