Optimize splash image
This MR is an alternative to !3 (closed), for consideration if that MR is rejected. (If it's accepted, this MR is no longer valid.) This version optimizes the README.gif
file with no content changes. Filesize is still reduced by 87%.