CMakeColors.cmake: Use colors only if stderr is an interactive terminal.

In particular, do not write ugly escape sequences to log files.

Fixes #124.