Educational GIF decoder which dumps big "pixels" into a HTML file