stdgif - play animated gifs in a terminal