Using WebGL to render ANSI art