Colored terminal output made easy with PHP.