Gif320: A GIF viewer for DEC VT320 terminals