php Cli coloring output