Given a URL as argument, it fetches the file and writes it onto stdout in the GIF image file format.
See also: JavaWrapper, Acme.JPM.Encoders.GifEncoder.