Convert the one BMP to GIF.

The latter is a standard web format and also smaller.