colorize shell output (bash)