ANSI character color shortcuts for PHP