A javascript library that converts text with ANSI terminal codes into colorful HTML