Stephen E. Wilhite, the "dad" of the Gif format, is dead