A script to colorize the terminal output of LaTeX compilers