Create log output without colors by default if stderr is not an interactive terminal

Often enough users are redirecting logs to a file and then put that on the Internet. Reading logs with all the ANSI color codes is not very pleasant in a web browser or text editor, making looking through logs more difficult than it has to be.