Use colors in PHP terminal apps!