Colored string formatting for the terminal
